Safe Haskell	Safe-Inferred
Language	GHC2021

Napkin.Run.Effects.Interceptors.LogProgram

Documentation

class DumpPayload a b where #

Methods

renderDumpPayload_ :: a -> Doc #

Instances

Instances details

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

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 #
Eq (Renderable b) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods (==) :: Renderable b -> Renderable b -> Bool # (/=) :: Renderable b -> Renderable b -> Bool #

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

data DumpItem b #

Constructors

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

Instances

Instances details

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 #
Eq (DumpItem b) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods (==) :: DumpItem b -> DumpItem b -> Bool # (/=) :: DumpItem b -> DumpItem b -> Bool #

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), AnnotateRead b, AnnotateWrite b, SqlWrite b, SqlRead b, External, 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 :: k1). Assertion (Sem r) x -> DumpItem b #
ToDumpItem (b :: k) (External :: (Type -> Type) -> Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods toDumpItem :: forall (r :: EffectRow) (x :: k1). External (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 :: k1). Log (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 :: k1). SqlWrite b (Sem r) x -> DumpItem b #
ToDumpItem (b :: k) (AnnotateRead b :: (Type -> Type) -> Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods toDumpItem :: forall (r :: EffectRow) (x :: k1). AnnotateRead b (Sem r) x -> DumpItem b #
ToDumpItem (b :: k) (AnnotateWrite b :: (Type -> Type) -> Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods toDumpItem :: forall (r :: EffectRow) (x :: k1). AnnotateWrite b (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 :: k1). SqlRead b (Sem r) x -> DumpItem b #