Safe Haskell | None |
---|---|
Language | GHC2024 |
Napkin.Run.Effects.Interceptors.LogProgram.Types
Documentation
class DumpPayload a (b :: k) where #
Methods
renderDumpPayload_ :: a -> Doc #
Instances
DumpPayload LText (b :: k) # | |
Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods renderDumpPayload_ :: LText -> Doc # | |
DumpPayload Text (b :: k) # | |
Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods renderDumpPayload_ :: Text -> Doc # | |
RenderSql a b => DumpPayload a (b :: k) # | |
Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods renderDumpPayload_ :: a -> Doc # |
type IsRenderable a (b :: k) = (Show a, Eq a, DumpPayload a b, Typeable a) #
data Renderable (b :: k) #
Constructors
IsRenderable a b => Renderable a |
Instances
Show (Renderable b) # | |
Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods showsPrec :: Int -> Renderable b -> ShowS # show :: Renderable b -> String # showList :: [Renderable b] -> ShowS # | |
Eq (Renderable b) # | |
renderDumpPayload :: forall {k} (b :: k). Renderable b -> Doc #
Constructors
DumpItem | |
Fields
|
Instances
pattern SimpleDumpItem :: Doc RenderInfoFormatting -> DumpItem b #
data RenderInfoFormatting #
Constructors
FormatText | |
FormatTableRef | |
FormatCode |
class ToDumpItem (b :: k) (a :: (Type -> Type) -> k1 -> Type) where #
Methods
toDumpItem :: forall (r :: EffectRow) (x :: k1). a (Sem r) x -> DumpItem b #
Instances
ToDumpItem (b :: k) (Assertion :: (Type -> Type) -> Type -> Type) # | |
ToDumpItem (b :: k) (External :: (Type -> Type) -> Type -> Type) # | |
ToDumpItem (b :: k) (Log :: (Type -> Type) -> Type -> Type) # | |
ToDumpItem (b :: k) (Reader TableMemos) # | |
Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toDumpItem :: forall (r :: EffectRow) x. Reader TableMemos (Sem r) x -> DumpItem b # | |
(Show (BackendTableMeta b), Show (BackendViewMeta b), Show (BackendMaterializedViewMeta b), IsRenderable Query b, IsRenderable Statement b, IsRenderable SExp b, IsRenderable UpdateQuery b, IsRenderable Text 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) # | |
ToDumpItem (b :: k) (Output TableMemo :: (Type -> Type) -> Type -> Type) # | |
ToDumpItem (b :: k) (AnnotateRead b :: (Type -> Type) -> Type -> Type) # | |
Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toDumpItem :: forall (r :: EffectRow) x. AnnotateRead b (Sem r) x -> DumpItem b # | |
ToDumpItem (b :: k) (AnnotateWrite b :: (Type -> Type) -> Type -> Type) # | |
Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toDumpItem :: forall (r :: EffectRow) x. AnnotateWrite b (Sem r) x -> DumpItem b # | |
(IsRenderable SExp b, IsRenderable Query b, IsRenderable Text b) => ToDumpItem (b :: k) (SqlRead b :: (Type -> Type) -> Type -> Type) # | |
formatRef :: forall {k} (t :: k). Ref t -> Doc RenderInfoFormatting #
formatCode :: ToString a => a -> Doc RenderInfoFormatting #