napkin-0.5.9

Safe Haskell	None
Language	Haskell2010

Napkin.Run.Effects.Types

Synopsis

type SemSpec b a = Sem (SpecProgramEffects b) a
type SemHook b a = Sem (HookProgramEffects b) a
type HookProgram b = SemHook b ()
type SpecProgram b = SemSpec 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, Reader ExtraDependencies, Reader HiddenDependencies, Reader TargetName, Assertion, ExternalCreate, BackendSpecificEffect b] ++ Core
type HookProgramEffects b = '[Assertion, Embed IO, BackendSpecificEffect b] ++ Core
type Core = [FatalError, Input RandomToken, Time, Output LogLine, SqlRender, SqlParse, SqlRead, SqlWrite, LocalFile, Reader QueryTransformer, Reader MetaArguments, Reader DynamicMeta]
class RunBackendEffect b where
- runBackendEffectReal :: (Members Core r, Member (Embed IO) r) => BackendConn b -> Sem (BackendSpecificEffect b ': r) a -> Sem r a
- runBackendEffectFake :: (Members Core r, Member (Embed IO) r) => Sem (BackendSpecificEffect b ': r) a -> Sem r a

Documentation

type SemSpec b a = Sem (SpecProgramEffects b) a #

type SemHook 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 = SemHook b () #

Hooks have different cabapilities than specs

type SpecProgram b = SemSpec 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, Reader ExtraDependencies, Reader HiddenDependencies, Reader TargetName, Assertion, ExternalCreate, BackendSpecificEffect b] ++ Core #

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

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

class RunBackendEffect b where #

Minimal complete definition

runBackendEffectFake

Methods

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

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

runBackendEffectFake :: (Members Core 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 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 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 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 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 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 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 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 r, Member (Embed IO) r) => Sem (BackendSpecificEffect BigQuery ': r) a -> Sem r a #