napkin-0.5.12

Safe Haskell	None
Language	Haskell2010

Napkin.Run.Effects.Types

Synopsis

type SpecProgram' b a = Sem (SpecProgramEffects b) a
type HookProgram' b a = Sem (HookProgramEffects b) a
type HookProgram b = HookProgram' b ()
type SpecProgram b = SpecProgram' b ()
newtype HookProgramWithArgParser b = HookProgramWithArgParser (Object -> Parser (HookProgram b))
parserlessHook :: HookProgram b -> HookProgramWithArgParser b
newtype SpecProgramWithArgParser b = SpecProgramWithArgParser (Object -> Parser (SpecProgram b))
parserlessSpec :: SpecProgram b -> SpecProgramWithArgParser b
type SpecProgramEffects b = '[RecreateTable b, Output ExtraDependencies, Reader HiddenDependencies, Reader HiddenArtifacts, Reader TargetName, Assertion, ExternalCreate, BackendSpecificEffect b] ++ Core b
type HookProgramEffects b = '[Assertion, Embed IO, BackendSpecificEffect b] ++ Core b
type Core b = [FatalError, Input RandomToken, Time, Output LogLine, SqlRender, SqlParse, SqlRead, SqlWrite b, LocalFile, Template, LoadQuery, Reader QueryTransformer, Input MetaArguments, Reader SQLDialect]
class RunBackendEffect b where
- runBackendEffectReal :: (Members (Core b) r, Member (Embed IO) r) => BackendConn b -> Sem (BackendSpecificEffect b ': r) a -> Sem r a
- runBackendEffectFake :: (Members (Core b) r, Member (Embed IO) r) => Sem (BackendSpecificEffect b ': r) a -> Sem r a
askRefRenamer :: Member (Reader QueryTransformer) r => Sem r (Ref Table -> Ref Table)
askQueryRewriter :: Member (Reader QueryTransformer) r => Sem r (Query -> Query)
askQueryRewriterData :: forall a r. (Data a, Member (Reader QueryTransformer) r) => Sem r (a -> a)

Documentation

type SpecProgram' b a = Sem (SpecProgramEffects b) a #

type HookProgram' b a = Sem (HookProgramEffects b) a #

Programs packaged up for use in Specs. Intended for use in providing introspectable CustomCreate actions in specs.

type HookProgram b = HookProgram' b () #

Hooks have different cabapilities than specs

type SpecProgram b = SpecProgram' b () #

newtype HookProgramWithArgParser b #

Constructors

HookProgramWithArgParser (Object -> Parser (HookProgram b))

parserlessHook :: HookProgram b -> HookProgramWithArgParser b #

newtype SpecProgramWithArgParser b #

Constructors

SpecProgramWithArgParser (Object -> Parser (SpecProgram b))

parserlessSpec :: SpecProgram b -> SpecProgramWithArgParser b #

type SpecProgramEffects b = '[RecreateTable b, Output ExtraDependencies, Reader HiddenDependencies, Reader HiddenArtifacts, Reader TargetName, Assertion, ExternalCreate, BackendSpecificEffect b] ++ Core b #

type HookProgramEffects b = '[Assertion, Embed IO, BackendSpecificEffect b] ++ Core b #

type Core b = [FatalError, Input RandomToken, Time, Output LogLine, SqlRender, SqlParse, SqlRead, SqlWrite b, LocalFile, Template, LoadQuery, Reader QueryTransformer, Input MetaArguments, Reader SQLDialect] #

class RunBackendEffect b where #

Minimal complete definition

runBackendEffectFake

Methods

runBackendEffectReal :: (Members (Core b) r, Member (Embed IO) r) => BackendConn b -> Sem (BackendSpecificEffect b ': r) a -> Sem r a #

default runBackendEffectReal :: (Members (Core b) r, Member (Embed IO) r) => BackendConn b -> Sem (BackendSpecificEffect b ': r) a -> Sem r a #

runBackendEffectFake :: (Members (Core b) r, Member (Embed IO) r) => Sem (BackendSpecificEffect b ': r) a -> Sem r a #

Instances

Instances details

RunBackendEffect Sqlite #
Instance details Defined in Napkin.Run.Effects.Interpreters.Backend.Sqlite Methods runBackendEffectReal :: forall (r :: [(Type -> Type) -> Type -> Type]) a. (Members (Core Sqlite) r, Member (Embed IO) r) => BackendConn Sqlite -> Sem (BackendSpecificEffect Sqlite ': r) a -> Sem r a # runBackendEffectFake :: forall (r :: [(Type -> Type) -> Type -> Type]) a. (Members (Core Sqlite) r, Member (Embed IO) r) => Sem (BackendSpecificEffect Sqlite ': r) a -> Sem r a #
RunBackendEffect Redshift #
Instance details Defined in Napkin.Run.Effects.Interpreters.Backend.Redshift Methods runBackendEffectReal :: forall (r :: [(Type -> Type) -> Type -> Type]) a. (Members (Core Redshift) r, Member (Embed IO) r) => BackendConn Redshift -> Sem (BackendSpecificEffect Redshift ': r) a -> Sem r a # runBackendEffectFake :: forall (r :: [(Type -> Type) -> Type -> Type]) a. (Members (Core Redshift) r, Member (Embed IO) r) => Sem (BackendSpecificEffect Redshift ': r) a -> Sem r a #
RunBackendEffect Postgres #
Instance details Defined in Napkin.Run.Effects.Interpreters.Backend.Postgres Methods runBackendEffectReal :: forall (r :: [(Type -> Type) -> Type -> Type]) a. (Members (Core Postgres) r, Member (Embed IO) r) => BackendConn Postgres -> Sem (BackendSpecificEffect Postgres ': r) a -> Sem r a # runBackendEffectFake :: forall (r :: [(Type -> Type) -> Type -> Type]) a. (Members (Core Postgres) r, Member (Embed IO) r) => Sem (BackendSpecificEffect Postgres ': r) a -> Sem r a #
RunBackendEffect BigQuery #
Instance details Defined in Napkin.Run.Effects.Interpreters.Backend.BigQuery Methods runBackendEffectReal :: forall (r :: [(Type -> Type) -> Type -> Type]) a. (Members (Core BigQuery) r, Member (Embed IO) r) => BackendConn BigQuery -> Sem (BackendSpecificEffect BigQuery ': r) a -> Sem r a # runBackendEffectFake :: forall (r :: [(Type -> Type) -> Type -> Type]) a. (Members (Core BigQuery) r, Member (Embed IO) r) => Sem (BackendSpecificEffect BigQuery ': r) a -> Sem r a #

askRefRenamer :: Member (Reader QueryTransformer) r => Sem r (Ref Table -> Ref Table) #

askQueryRewriter :: Member (Reader QueryTransformer) r => Sem r (Query -> Query) #

askQueryRewriterData :: forall a r. (Data a, Member (Reader QueryTransformer) r) => Sem r (a -> a) #