napkin-0.5.8
Safe HaskellNone
LanguageHaskell2010

Napkin.Run.Effects.Types

Synopsis

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 () #

class RunBackendEffect b where #

Minimal complete definition

runBackendEffectFake

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 #