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 #

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

Generic (DumpItem b) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Associated Types type Rep (DumpItem b) :: Type -> Type # Methods from :: DumpItem b -> Rep (DumpItem b) x # to :: Rep (DumpItem b) x -> DumpItem b #
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 #
type Rep (DumpItem b) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram type Rep (DumpItem b) = D1 ('MetaData "DumpItem" "Napkin.Run.Effects.Interceptors.LogProgram" "napkin-1.0.0-B79azc00rn1K8mj00hwhwG" 'False) (C1 ('MetaCons "DumpItem" 'PrefixI 'True) (S1 ('MetaSel ('Just "query") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Renderable b))) :*: S1 ('MetaSel ('Just "message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Doc)))

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, RenderSql String 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, IsRenderable String 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, IsRenderable String 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 #