napkin-0.5.14
Safe HaskellSafe-Inferred
LanguageGHC2021

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

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 #