| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Napkin.Run.Effects.Languages.TableSpec
Synopsis
- renameReferences :: Member (Reader QueryTransformer) r => (Ref Table -> Ref Table) -> Sem r a -> Sem r a
- applyTransformer :: Member (Reader QueryTransformer) r => QueryTransformerUnit -> Sem r a -> Sem r a
- hideDependencies :: forall a r. Member (Reader HiddenDependencies) r => Set (Ref Table) -> Sem r a -> Sem r a
- hideDependency :: forall a r. Member (Reader HiddenDependencies) r => Ref Table -> Sem r a -> Sem r a
- hideArtifact :: forall a r. Member (Reader HiddenArtifacts) r => Ref Table -> Sem r a -> Sem r a
- addDependencies :: forall r. Member (Output ExtraDependencies) r => Set (Ref Table) -> Sem r ()
- addDependency :: forall r. Member (Output ExtraDependencies) r => Ref Table -> Sem r ()
- overrideTarget :: forall a r. 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. Members [SqlWrite b, Reader TargetName] effs => Query -> Sem effs ()
- deleteFromTarget :: forall b effs. Members [SqlWrite b, Reader TargetName] effs => SExp -> Sem effs ()
- updateTarget :: forall b effs. Members [SqlWrite b, Reader TargetName] effs => (Ref Relation -> U ()) -> Sem effs ()
- newtype Transformed a = Transformed a
Documentation
renameReferences :: 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 :: Member (Reader QueryTransformer) r => QueryTransformerUnit -> Sem r a -> Sem r a #
Comprehensively apply the given transformer around the given region.
hideDependencies :: forall a r. 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. 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. 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. Member (Output ExtraDependencies) 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. Member (Output ExtraDependencies) 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. 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
newtype HiddenArtifacts #
Constructors
| HiddenArtifacts (Set (Ref Table)) |
Instances
newtype TargetName #
Constructors
| TargetName (Ref Table) |
newtype MetaArguments #
Constructors
| MetaArguments | |
Fields | |
Instances
insertQueryIntoTarget :: forall b effs. Members [SqlWrite b, Reader TargetName] effs => Query -> Sem effs () #
deleteFromTarget :: forall b effs. Members [SqlWrite b, Reader TargetName] effs => SExp -> Sem effs () #
updateTarget :: forall b effs. Members [SqlWrite b, 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 # | |