Documentation

dumpReadResult :: forall {k} (b :: k) (rInitial :: EffectRow) x. HasBackendSchemaField b => SqlRead b (Sem rInitial) x -> x -> DumpItem b #

interceptDumpLog :: forall b (r :: EffectRow) a. (DumpBackendRequirements b, Member (BackendSpecificEffect b) r, Members '[Output (DumpItem b) :: (Type -> Type) -> Type -> Type, AnnotateRead b :: (Type -> Type) -> Type -> Type, AnnotateWrite b :: (Type -> Type) -> Type -> Type, SqlWrite b :: (Type -> Type) -> Type -> Type, SqlRead b :: (Type -> Type) -> Type -> Type, Log :: (Type -> Type) -> Type -> Type, Assertion :: (Type -> Type) -> Type -> Type, External :: (Type -> Type) -> Type -> Type, Output TableMemo :: (Type -> Type) -> Type -> Type, Reader TableMemos] r) => LogResults -> Sem r a -> Sem r a #

type DumpBackendRequirements b = (Show (BackendTableMeta b), Show (BackendViewMeta b), Show (BackendMaterializedViewMeta b), Default (BackendTableMeta b), Default (BackendViewMeta b), MaybeDefault (YamlBackendMaterializedViewMeta b), Typeable (BackendTableMeta b), Typeable (BackendViewMeta b), Typeable (BackendMaterializedViewMeta b), Eq (BackendTableMeta b), Eq (BackendViewMeta b), Eq (BackendMaterializedViewMeta b), ToHashComponent b (BackendTableMeta b), ToHashComponent b (BackendViewMeta b), ToHashComponent b (BackendMaterializedViewMeta b), RenderSql Query b, RenderSql SExp b, RenderSql UpdateQuery b, RenderSql (Ref Table) b, RenderSql Text b, RenderSql Statement b, HasBackendSchemaField b, ToDumpItem b (BackendSpecificEffect b), InterpreterBackendSupport b, NapkinParserDialect b) #

data LogResults #

module Napkin.Run.Effects.Interceptors.LogProgram.Types