Documentation

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 Text b, RenderSql Statement b, HasBackendSchemaField b, ToDumpItem b (BackendSpecificEffect b), InterpreterBackendSupport b, NapkinParserDialect b) #

data LogResults #

interceptDumpLog :: forall b (r :: EffectRow) a. (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, Member (BackendSpecificEffect b) r, DumpBackendRequirements b) => LogResults -> Sem r a -> Sem r a #

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

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