| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Napkin.Run.Effects.Interceptors.LogProgram
Documentation
class ToDumpItem (b :: k) (a :: (Type -> Type) -> k1 -> Type) where #
Methods
toDumpItem :: forall (r :: EffectRow) (x :: k1). a (Sem r) x -> DumpItem b #
Instances
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, RenderSql String b, RenderSql Statement b, ReifiesBackend b, HasBackendSchemaField b, ToDumpItem b (BackendSpecificEffect b)) #
data LogResults #
Constructors
| LogResults | |
| DoNotLogResults |
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, External :: (Type -> Type) -> Type -> Type, Log :: (Type -> Type) -> Type -> Type, Assertion :: (Type -> Type) -> Type -> Type] 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 #
formatRef :: forall {k} (t :: k). Ref t -> Doc RenderInfoFormatting #
formatCode :: ToString a => a -> Doc RenderInfoFormatting #