Safe Haskell | None |
---|---|
Language | GHC2024 |
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
- newtype TableMemo = TableMemo [Value]
- newtype TableMemos = TableMemos (Map SpecTableName TableMemo)
- memo :: forall a (eff :: EffectRow). (ToJSON a, Member (Output TableMemo :: (Type -> Type) -> Type -> Type) eff) => a -> Sem eff ()
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
Default HiddenDependencies # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Methods | |||||
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 # | |||||
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
Default HiddenArtifacts # | |||||
Defined in Napkin.Run.Effects.Languages.TableSpec Methods def :: HiddenArtifacts # | |||||
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 # | |||||
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 # |
newtype TableMemos #
Constructors
TableMemos (Map SpecTableName TableMemo) |
Instances
Monoid TableMemos # | |
Defined in Napkin.Run.Effects.Languages.TableSpec Methods mempty :: TableMemos # mappend :: TableMemos -> TableMemos -> TableMemos # mconcat :: [TableMemos] -> TableMemos # | |
Semigroup TableMemos # | |
Defined in Napkin.Run.Effects.Languages.TableSpec Methods (<>) :: TableMemos -> TableMemos -> TableMemos # sconcat :: NonEmpty TableMemos -> TableMemos # stimes :: Integral b => b -> TableMemos -> TableMemos # | |
ToDumpItem (b :: k) (Reader TableMemos) # | |
Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toDumpItem :: forall (r :: EffectRow) x. Reader TableMemos (Sem r) x -> DumpItem b # |