Safe Haskell	None
Language	Haskell2010

Napkin.Run.Effects.Interceptors.LogProgram

Documentation

class DumpPayload a b where #

Methods

renderDumpPayload_ :: a -> Doc #

Instances

Instances details

DumpPayload String (b :: k) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods renderDumpPayload_ :: String -> Doc #
(RenderSql a b, ReifiesBackend b) => DumpPayload a (b :: Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods renderDumpPayload_ :: a -> Doc #

type IsRenderable a b = (Show a, Eq a, DumpPayload a b, Typeable a) #

data Renderable b #

Constructors

forall a.IsRenderable a b => Renderable a

Instances

Instances details

Eq (Renderable b) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods (==) :: Renderable b -> Renderable b -> Bool # (/=) :: Renderable b -> Renderable b -> Bool #
Show (Renderable b) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods showsPrec :: Int -> Renderable b -> ShowS # show :: Renderable b -> String # showList :: [Renderable b] -> ShowS #

renderDumpPayload :: forall b. Renderable b -> Doc #

data DumpItem b #

Constructors

DumpItem
Fields query :: Maybe (Renderable b) message :: Doc

Instances

Instances details

Eq (DumpItem b) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods (==) :: DumpItem b -> DumpItem b -> Bool # (/=) :: DumpItem b -> DumpItem b -> Bool #
Show (DumpItem b) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods showsPrec :: Int -> DumpItem b -> ShowS # show :: DumpItem b -> String # showList :: [DumpItem b] -> ShowS #

pattern SimpleDumpItem :: Doc -> DumpItem b #

type DumpBackendRequirements b = (Show (BackendTableMeta b), Show (BackendViewMeta b), Show (BackendMaterializedViewMeta b), Eq (BackendTableMeta b), Eq (BackendViewMeta b), Eq (YamlBackendMaterializedViewMeta b), Default (BackendTableMeta b), Default (BackendViewMeta b), MaybeDefault (YamlBackendMaterializedViewMeta b), RenderSql Query b, RenderSql SExp b, RenderSql UpdateQuery b, RenderSql (Ref Table) b, RenderSql From b, RenderSql Name b, ReifiesBackend b) #

interceptDumpLog :: forall b r a. (Members [Output (DumpItem b), SqlWrite b, SqlRead b, ExternalCreate, Log, Assertion] r, DumpBackendRequirements b) => Sem r a -> Sem r a #

class ToDumpItem b a where #

Methods

toDumpItem :: forall r x. a (Sem r) x -> DumpItem b #

Instances

Instances details

ToDumpItem (b :: k) (Assertion :: (Type -> Type) -> Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods toDumpItem :: forall (r :: EffectRow) (x :: k0). Assertion (Sem r) x -> DumpItem b #
ToDumpItem (b :: k) (Log :: (Type -> Type) -> Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods toDumpItem :: forall (r :: EffectRow) (x :: k0). Log (Sem r) x -> DumpItem b #
ToDumpItem (b :: k) (ExternalCreate :: (Type -> Type) -> Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods toDumpItem :: forall (r :: EffectRow) (x :: k0). ExternalCreate (Sem r) x -> DumpItem b #
(IsRenderable SExp b, IsRenderable Query b) => ToDumpItem (b :: k) (SqlRead b :: (Type -> Type) -> Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods toDumpItem :: forall (r :: EffectRow) (x :: k0). SqlRead b (Sem r) x -> DumpItem b #
(Show (BackendTableMeta b), Show (BackendViewMeta b), Show (BackendMaterializedViewMeta b), IsRenderable Query b, IsRenderable SExp b, IsRenderable UpdateQuery b, Default (BackendTableMeta b), Default (BackendViewMeta b), MaybeDefault (YamlBackendMaterializedViewMeta b), Eq (BackendTableMeta b), Eq (BackendViewMeta b), Eq (YamlBackendMaterializedViewMeta b)) => ToDumpItem (b :: Type) (SqlWrite b :: (Type -> Type) -> Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods toDumpItem :: forall (r :: EffectRow) (x :: k). SqlWrite b (Sem r) x -> DumpItem b #