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 {
- unMetaArguments :: Map Text Value
}
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

Instances details

Default ExtraDependencies #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

def :: ExtraDependencies #

Monoid ExtraDependencies #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

mempty :: ExtraDependencies #

mappend :: ExtraDependencies -> ExtraDependencies -> ExtraDependencies #

mconcat :: [ExtraDependencies] -> ExtraDependencies #

Semigroup ExtraDependencies #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

(<>) :: ExtraDependencies -> ExtraDependencies -> ExtraDependencies #

sconcat :: NonEmpty ExtraDependencies -> ExtraDependencies #

stimes :: Integral b => b -> ExtraDependencies -> ExtraDependencies #

IsList ExtraDependencies #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Associated Types

type Item ExtraDependencies
Instance details Defined in Napkin.Run.Effects.Languages.TableSpec type Item ExtraDependencies = Item (Set (Ref Table))

Methods

fromList :: [Item ExtraDependencies] -> ExtraDependencies #

fromListN :: Int -> [Item ExtraDependencies] -> ExtraDependencies #

toList :: ExtraDependencies -> [Item ExtraDependencies] #

Show ExtraDependencies #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

showsPrec :: Int -> ExtraDependencies -> ShowS #

show :: ExtraDependencies -> String #

showList :: [ExtraDependencies] -> ShowS #

Eq ExtraDependencies #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

(==) :: ExtraDependencies -> ExtraDependencies -> Bool #

(/=) :: ExtraDependencies -> ExtraDependencies -> Bool #

type Item ExtraDependencies #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

type Item ExtraDependencies = Item (Set (Ref Table))

newtype HiddenDependencies #

Constructors

HiddenDependencies (Set (Ref Table))

Instances

Instances details

Default HiddenDependencies #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

def :: HiddenDependencies #

Monoid HiddenDependencies #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

mempty :: HiddenDependencies #

mappend :: HiddenDependencies -> HiddenDependencies -> HiddenDependencies #

mconcat :: [HiddenDependencies] -> HiddenDependencies #

Semigroup HiddenDependencies #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

(<>) :: HiddenDependencies -> HiddenDependencies -> HiddenDependencies #

sconcat :: NonEmpty HiddenDependencies -> HiddenDependencies #

stimes :: Integral b => b -> HiddenDependencies -> HiddenDependencies #

IsList HiddenDependencies #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Associated Types

type Item HiddenDependencies
Instance details Defined in Napkin.Run.Effects.Languages.TableSpec type Item HiddenDependencies = Item (Set (Ref Table))

Methods

fromList :: [Item HiddenDependencies] -> HiddenDependencies #

fromListN :: Int -> [Item HiddenDependencies] -> HiddenDependencies #

toList :: HiddenDependencies -> [Item HiddenDependencies] #

Show HiddenDependencies #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

showsPrec :: Int -> HiddenDependencies -> ShowS #

show :: HiddenDependencies -> String #

showList :: [HiddenDependencies] -> ShowS #

Eq HiddenDependencies #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

(==) :: HiddenDependencies -> HiddenDependencies -> Bool #

(/=) :: HiddenDependencies -> HiddenDependencies -> Bool #

type Item HiddenDependencies #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

type Item HiddenDependencies = Item (Set (Ref Table))

newtype HiddenArtifacts #

Constructors

HiddenArtifacts (Set (Ref Table))

Instances

Instances details

Default HiddenArtifacts #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

def :: HiddenArtifacts #

Monoid HiddenArtifacts #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

mempty :: HiddenArtifacts #

mappend :: HiddenArtifacts -> HiddenArtifacts -> HiddenArtifacts #

mconcat :: [HiddenArtifacts] -> HiddenArtifacts #

Semigroup HiddenArtifacts #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

(<>) :: HiddenArtifacts -> HiddenArtifacts -> HiddenArtifacts #

sconcat :: NonEmpty HiddenArtifacts -> HiddenArtifacts #

stimes :: Integral b => b -> HiddenArtifacts -> HiddenArtifacts #

IsList HiddenArtifacts #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Associated Types

type Item HiddenArtifacts
Instance details Defined in Napkin.Run.Effects.Languages.TableSpec type Item HiddenArtifacts = Item (Set (Ref Table))

Methods

fromList :: [Item HiddenArtifacts] -> HiddenArtifacts #

fromListN :: Int -> [Item HiddenArtifacts] -> HiddenArtifacts #

toList :: HiddenArtifacts -> [Item HiddenArtifacts] #

Show HiddenArtifacts #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

showsPrec :: Int -> HiddenArtifacts -> ShowS #

show :: HiddenArtifacts -> String #

showList :: [HiddenArtifacts] -> ShowS #

Eq HiddenArtifacts #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

(==) :: HiddenArtifacts -> HiddenArtifacts -> Bool #

(/=) :: HiddenArtifacts -> HiddenArtifacts -> Bool #

type Item HiddenArtifacts #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

type Item HiddenArtifacts = Item (Set (Ref Table))

newtype TargetName #

Constructors

TargetName (Ref Table)

newtype MetaArguments #

Constructors

MetaArguments
Fields unMetaArguments :: Map Text Value

Instances

Instances details

Monoid MetaArguments #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

mempty :: MetaArguments #

mappend :: MetaArguments -> MetaArguments -> MetaArguments #

mconcat :: [MetaArguments] -> MetaArguments #

Semigroup MetaArguments #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

(<>) :: MetaArguments -> MetaArguments -> MetaArguments #

sconcat :: NonEmpty MetaArguments -> MetaArguments #

stimes :: Integral b => b -> MetaArguments -> MetaArguments #

IsList MetaArguments #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Associated Types

type Item MetaArguments
Instance details Defined in Napkin.Run.Effects.Languages.TableSpec type Item MetaArguments = Item (Map Text Value)

Methods

fromList :: [Item MetaArguments] -> MetaArguments #

fromListN :: Int -> [Item MetaArguments] -> MetaArguments #

toList :: MetaArguments -> [Item MetaArguments] #

Show MetaArguments #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

showsPrec :: Int -> MetaArguments -> ShowS #

show :: MetaArguments -> String #

showList :: [MetaArguments] -> ShowS #

Eq MetaArguments #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

Methods

(==) :: MetaArguments -> MetaArguments -> Bool #

(/=) :: MetaArguments -> MetaArguments -> Bool #

type Item MetaArguments #

Instance details

Defined in Napkin.Run.Effects.Languages.TableSpec

type Item MetaArguments = Item (Map Text Value)

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

Instances details

Show a => Show (Transformed a) #
Instance details 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) #
Instance details Defined in Napkin.Run.Effects.Languages.TableSpec Methods (==) :: Transformed a -> Transformed a -> Bool # (/=) :: Transformed a -> Transformed a -> Bool #

newtype TableMemo #

Constructors

TableMemo [Value]

Instances

Instances details

ToJSON TableMemo #
Instance details Defined in Napkin.Run.Effects.Languages.TableSpec Methods toJSON :: TableMemo -> Value # toEncoding :: TableMemo -> Encoding # toJSONList :: [TableMemo] -> Value # toEncodingList :: [TableMemo] -> Encoding # omitField :: TableMemo -> Bool #
Monoid TableMemo #
Instance details Defined in Napkin.Run.Effects.Languages.TableSpec Methods mempty :: TableMemo # mappend :: TableMemo -> TableMemo -> TableMemo # mconcat :: [TableMemo] -> TableMemo #
Semigroup TableMemo #
Instance details Defined in Napkin.Run.Effects.Languages.TableSpec Methods (<>) :: TableMemo -> TableMemo -> TableMemo # sconcat :: NonEmpty TableMemo -> TableMemo # stimes :: Integral b => b -> TableMemo -> TableMemo #
Show TableMemo #
Instance details Defined in Napkin.Run.Effects.Languages.TableSpec Methods showsPrec :: Int -> TableMemo -> ShowS # show :: TableMemo -> String # showList :: [TableMemo] -> ShowS #
Eq TableMemo #
Instance details Defined in Napkin.Run.Effects.Languages.TableSpec Methods (==) :: TableMemo -> TableMemo -> Bool # (/=) :: TableMemo -> TableMemo -> Bool #
ToDumpItem (b :: k) (Output TableMemo :: (Type -> Type) -> Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toDumpItem :: forall (r :: EffectRow) x. Output TableMemo (Sem r) x -> DumpItem b #

newtype TableMemos #

Constructors

TableMemos (Map SpecTableName TableMemo)

Instances

Instances details

Monoid TableMemos #
Instance details Defined in Napkin.Run.Effects.Languages.TableSpec Methods mempty :: TableMemos # mappend :: TableMemos -> TableMemos -> TableMemos # mconcat :: [TableMemos] -> TableMemos #
Semigroup TableMemos #
Instance details 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) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toDumpItem :: forall (r :: EffectRow) x. Reader TableMemos (Sem r) x -> DumpItem b #

memo :: forall a (eff :: EffectRow). (ToJSON a, Member (Output TableMemo :: (Type -> Type) -> Type -> Type) eff) => a -> Sem eff () #