| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Napkin.Run.Effects.Languages.TableSpec
Synopsis
- renameReferences :: forall (r :: EffectRow) a. Member (Reader QueryTransformer) r => (Ref Table -> Ref Table) -> Sem r a -> Sem r a
- applyTransformer :: forall (r :: EffectRow) a. Member (Reader QueryTransformer) r => QueryTransformerUnit -> Sem r a -> Sem r a
- hideDependencies :: forall a (r :: EffectRow). Member (Reader HiddenDependencies) r => Set (Ref Table) -> Sem r a -> Sem r a
- hideDependency :: forall a (r :: EffectRow). Member (Reader HiddenDependencies) r => Ref Table -> Sem r a -> Sem r a
- hideArtifact :: forall a (r :: EffectRow). Member (Reader HiddenArtifacts) r => Ref Table -> Sem r a -> Sem r a
- addDependencies :: forall (r :: EffectRow). Member (Output ExtraDependencies :: (Type -> Type) -> Type -> Type) r => Set (Ref Table) -> Sem r ()
- addDependency :: forall (r :: EffectRow). Member (Output ExtraDependencies :: (Type -> Type) -> Type -> Type) r => Ref Table -> Sem r ()
- overrideTarget :: forall a (r :: EffectRow). Member (Reader TargetName) r => Ref Table -> Sem r a -> Sem r a
- newtype ExtraDependencies = ExtraDependencies (Set (Ref Table))
- newtype HiddenDependencies = HiddenDependencies (Set (Ref Table))
- newtype HiddenArtifacts = HiddenArtifacts (Set (Ref Table))
- newtype TargetName = TargetName (Ref Table)
- newtype MetaArguments = MetaArguments {}
- insertQueryIntoTarget :: forall b (effs :: EffectRow). Members '[SqlWrite b :: (Type -> Type) -> Type -> Type, Reader TargetName] effs => Query -> Sem effs ()
- deleteFromTarget :: forall b (effs :: EffectRow). Members '[SqlWrite b :: (Type -> Type) -> Type -> Type, Reader TargetName] effs => SExp -> Sem effs ()
- updateTarget :: forall b (effs :: EffectRow). Members '[SqlWrite b :: (Type -> Type) -> Type -> Type, Reader TargetName] effs => (Ref Relation -> U ()) -> Sem effs ()
- newtype Transformed a = Transformed a
Documentation
renameReferences :: forall (r :: EffectRow) a. Member (Reader QueryTransformer) r => (Ref Table -> Ref Table) -> Sem r a -> Sem r a #
Apply given table name renamer to every single reference occurrence everywhere.
If you want to target only certain tables, make sure the function you provide here does the filtering internally.
applyTransformer :: forall (r :: EffectRow) a. Member (Reader QueryTransformer) r => QueryTransformerUnit -> Sem r a -> Sem r a #
Comprehensively apply the given transformer around the given region.
hideDependencies :: forall a (r :: EffectRow). Member (Reader HiddenDependencies) r => Set (Ref Table) -> Sem r a -> Sem r a #
Add the given dependencies to the hide list around the given region.
Later during interpretation, this will cause the given dependencies to not be considered upstream dependencies within the enclosed region.
hideDependency :: forall a (r :: EffectRow). Member (Reader HiddenDependencies) r => Ref Table -> Sem r a -> Sem r a #
Add the given dependency to the hide list around the given region.
Later during interpretation, this will cause the given dependency to not be considered upstream dependency within the enclosed region.
hideArtifact :: forall a (r :: EffectRow). Member (Reader HiddenArtifacts) r => Ref Table -> Sem r a -> Sem r a #
Add the given artifact to the hide list around the given region.
Later during interpretation, this will cause the given artifact to not be reported to the tablespec within the enclosed region.
addDependencies :: forall (r :: EffectRow). Member (Output ExtraDependencies :: (Type -> Type) -> Type -> Type) r => Set (Ref Table) -> Sem r () #
Add the given references to list of dependencies for the underlying region.
Later during interpretation, this will cause the given dependencies to be forcefully considered upstream dependencies within the enclosed region even though they were not seen in the parsed SQL.
addDependency :: forall (r :: EffectRow). Member (Output ExtraDependencies :: (Type -> Type) -> Type -> Type) r => Ref Table -> Sem r () #
Add the given reference to list of dependency for the underlying region.
Later during interpretation, this will cause the given dependency to be forcefully considered upstream dependency within the enclosed region even though they were not seen in the parsed SQL.
overrideTarget :: forall a (r :: EffectRow). Member (Reader TargetName) r => Ref Table -> Sem r a -> Sem r a #
newtype ExtraDependencies #
Constructors
| ExtraDependencies (Set (Ref Table)) |
Instances
newtype HiddenDependencies #
Constructors
| HiddenDependencies (Set (Ref Table)) |
Instances
| Monoid HiddenDependencies # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Methods mempty :: HiddenDependencies # mappend :: HiddenDependencies -> HiddenDependencies -> HiddenDependencies # mconcat :: [HiddenDependencies] -> HiddenDependencies # | |||||
| Semigroup HiddenDependencies # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Methods (<>) :: HiddenDependencies -> HiddenDependencies -> HiddenDependencies # sconcat :: NonEmpty HiddenDependencies -> HiddenDependencies # stimes :: Integral b => b -> HiddenDependencies -> HiddenDependencies # | |||||
| IsList HiddenDependencies # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Associated Types
Methods fromList :: [Item HiddenDependencies] -> HiddenDependencies # fromListN :: Int -> [Item HiddenDependencies] -> HiddenDependencies # toList :: HiddenDependencies -> [Item HiddenDependencies] # | |||||
| Show HiddenDependencies # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Methods showsPrec :: Int -> HiddenDependencies -> ShowS # show :: HiddenDependencies -> String # showList :: [HiddenDependencies] -> ShowS # | |||||
| Default HiddenDependencies # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Methods | |||||
| Eq HiddenDependencies # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Methods (==) :: HiddenDependencies -> HiddenDependencies -> Bool # (/=) :: HiddenDependencies -> HiddenDependencies -> Bool # | |||||
| type Item HiddenDependencies # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec | |||||
newtype HiddenArtifacts #
Constructors
| HiddenArtifacts (Set (Ref Table)) |
Instances
| Monoid HiddenArtifacts # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Methods mappend :: HiddenArtifacts -> HiddenArtifacts -> HiddenArtifacts # mconcat :: [HiddenArtifacts] -> HiddenArtifacts # | |||||
| Semigroup HiddenArtifacts # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Methods (<>) :: HiddenArtifacts -> HiddenArtifacts -> HiddenArtifacts # sconcat :: NonEmpty HiddenArtifacts -> HiddenArtifacts # stimes :: Integral b => b -> HiddenArtifacts -> HiddenArtifacts # | |||||
| IsList HiddenArtifacts # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Associated Types
Methods fromList :: [Item HiddenArtifacts] -> HiddenArtifacts # fromListN :: Int -> [Item HiddenArtifacts] -> HiddenArtifacts # toList :: HiddenArtifacts -> [Item HiddenArtifacts] # | |||||
| Show HiddenArtifacts # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Methods showsPrec :: Int -> HiddenArtifacts -> ShowS # show :: HiddenArtifacts -> String # showList :: [HiddenArtifacts] -> ShowS # | |||||
| Default HiddenArtifacts # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Methods def :: HiddenArtifacts # | |||||
| Eq HiddenArtifacts # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Methods (==) :: HiddenArtifacts -> HiddenArtifacts -> Bool # (/=) :: HiddenArtifacts -> HiddenArtifacts -> Bool # | |||||
| type Item HiddenArtifacts # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec | |||||
newtype TargetName #
Constructors
| TargetName (Ref Table) |
newtype MetaArguments #
Constructors
| MetaArguments | |
Fields | |
Instances
| Monoid MetaArguments # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Methods mempty :: MetaArguments # mappend :: MetaArguments -> MetaArguments -> MetaArguments # mconcat :: [MetaArguments] -> MetaArguments # | |||||
| Semigroup MetaArguments # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Methods (<>) :: MetaArguments -> MetaArguments -> MetaArguments # sconcat :: NonEmpty MetaArguments -> MetaArguments # stimes :: Integral b => b -> MetaArguments -> MetaArguments # | |||||
| IsList MetaArguments # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Associated Types
Methods fromList :: [Item MetaArguments] -> MetaArguments # fromListN :: Int -> [Item MetaArguments] -> MetaArguments # toList :: MetaArguments -> [Item MetaArguments] # | |||||
| Show MetaArguments # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Methods showsPrec :: Int -> MetaArguments -> ShowS # show :: MetaArguments -> String # showList :: [MetaArguments] -> ShowS # | |||||
| Eq MetaArguments # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Methods (==) :: MetaArguments -> MetaArguments -> Bool # (/=) :: MetaArguments -> MetaArguments -> Bool # | |||||
| type Item MetaArguments # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec | |||||
insertQueryIntoTarget :: forall b (effs :: EffectRow). Members '[SqlWrite b :: (Type -> Type) -> Type -> Type, Reader TargetName] effs => Query -> Sem effs () #
deleteFromTarget :: forall b (effs :: EffectRow). Members '[SqlWrite b :: (Type -> Type) -> Type -> Type, Reader TargetName] effs => SExp -> Sem effs () #
updateTarget :: forall b (effs :: EffectRow). Members '[SqlWrite b :: (Type -> Type) -> Type -> Type, Reader TargetName] effs => (Ref Relation -> U ()) -> Sem effs () #
newtype Transformed a #
Constructors
| Transformed a |
Instances
| Show a => Show (Transformed a) # | |
Defined in Napkin.Run.Effects.Languages.TableSpec Methods showsPrec :: Int -> Transformed a -> ShowS # show :: Transformed a -> String # showList :: [Transformed a] -> ShowS # | |
| Eq a => Eq (Transformed a) # | |
Defined in Napkin.Run.Effects.Languages.TableSpec Methods (==) :: Transformed a -> Transformed a -> Bool # (/=) :: Transformed a -> Transformed a -> Bool # | |