| 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 #