Safe Haskell	None
Language	GHC2024

Napkin.Run.Effects.Interceptors.LogProgram.Types

Documentation

class DumpPayload a (b :: k) where #

Methods

renderDumpPayload_ :: a -> Doc #

Instances

Instances details

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

Instances details

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

renderDumpPayload :: forall {k} (b :: k). Renderable b -> Doc #

data DumpItem (b :: k) #

Constructors

DumpItem
Fields query :: Maybe (Renderable b) hashComponents :: HashComponents b message :: Doc RenderInfoFormatting

Instances

Instances details

Generic (DumpItem b) #

Instance details

Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types

Associated Types

type Rep (DumpItem b)

Instance details

Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types

type Rep (DumpItem b) = D1 ('MetaData "DumpItem" "Napkin.Run.Effects.Interceptors.LogProgram.Types" "napkin-spec-2.0.0-3eiQvLVwprjIPwzzdqIJoX" 'False) (C1 ('MetaCons "DumpItem" 'PrefixI 'True) (S1 ('MetaSel ('Just "query") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Renderable b))) :*: (S1 ('MetaSel ('Just "hashComponents") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashComponents b)) :*: S1 ('MetaSel ('Just "message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc RenderInfoFormatting)))))

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.Types

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.Types

Methods

(==) :: DumpItem b -> DumpItem b -> Bool #

(/=) :: DumpItem b -> DumpItem b -> Bool #

type Rep (DumpItem b) #

Instance details

Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types

type Rep (DumpItem b) = D1 ('MetaData "DumpItem" "Napkin.Run.Effects.Interceptors.LogProgram.Types" "napkin-spec-2.0.0-3eiQvLVwprjIPwzzdqIJoX" 'False) (C1 ('MetaCons "DumpItem" 'PrefixI 'True) (S1 ('MetaSel ('Just "query") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Renderable b))) :*: (S1 ('MetaSel ('Just "hashComponents") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashComponents b)) :*: S1 ('MetaSel ('Just "message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc RenderInfoFormatting)))))

renderableDumpItem :: forall {k} a (b :: k). (IsRenderable a b, ToHashComponent b a) => Text -> a -> Doc RenderInfoFormatting -> DumpItem b #

nonRenderableDumpItem :: forall {k} (b :: k). HashComponents b -> 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

Instances details

ToDumpItem (b :: k) (Assertion :: (Type -> Type) -> Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toDumpItem :: forall (r :: EffectRow) x. Assertion (Sem r) x -> DumpItem b #
ToDumpItem (b :: k) (External :: (Type -> Type) -> Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toDumpItem :: forall (r :: EffectRow) x. External (Sem r) x -> DumpItem b #
ToDumpItem (b :: k) (Log :: (Type -> Type) -> Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toDumpItem :: forall (r :: EffectRow) x. Log (Sem r) x -> DumpItem b #
ToDumpItem (b :: k) (Reader TableMemos) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toDumpItem :: forall (r :: EffectRow) x. Reader TableMemos (Sem r) x -> DumpItem b #
(Default (BackendTableMeta b), Default (BackendViewMeta b), Eq (BackendMaterializedViewMeta b), Eq (BackendTableMeta b), Eq (BackendViewMeta b), Eq (YamlBackendMaterializedViewMeta b), IsRenderable Query b, IsRenderable SExp b, IsRenderable Statement b, IsRenderable Text b, IsRenderable UpdateQuery b, MaybeDefault (YamlBackendMaterializedViewMeta b), Show (BackendMaterializedViewMeta b), Show (BackendTableMeta b), Show (BackendViewMeta b), ToHashComponent b (BackendMaterializedViewMeta b), ToHashComponent b (BackendTableMeta b), ToHashComponent b (BackendViewMeta b), Typeable (BackendMaterializedViewMeta b), Typeable (BackendTableMeta b), Typeable (BackendViewMeta b)) => ToDumpItem (b :: Type) (SqlWrite b :: (Type -> Type) -> Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toDumpItem :: forall (r :: EffectRow) x. SqlWrite b (Sem r) x -> DumpItem b #
ToDumpItem (b :: k) (Output TableMemo :: (Type -> Type) -> Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toDumpItem :: forall (r :: EffectRow) x. Output TableMemo (Sem r) x -> DumpItem b #
ToDumpItem (b :: k) (AnnotateRead b :: (Type -> Type) -> Type -> Type) #
Instance details 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) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toDumpItem :: forall (r :: EffectRow) x. AnnotateWrite b (Sem r) x -> DumpItem b #
(IsRenderable Query b, IsRenderable SExp b, IsRenderable Text b) => ToDumpItem (b :: k) (SqlRead b :: (Type -> Type) -> Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toDumpItem :: forall (r :: EffectRow) x. SqlRead b (Sem r) x -> DumpItem b #

toHashComponents :: forall {k} (bk :: k) a. ToHashComponent bk a => Text -> a -> HashComponents bk #

formatRef :: forall {k} (t :: k). Ref t -> Doc RenderInfoFormatting #

formatCode :: ToString a => a -> Doc RenderInfoFormatting #

data HashComponent #

Constructors

Hash Text
Unhashable
NoHash

Instances

Instances details

Monoid HashComponent #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods mempty :: HashComponent # mappend :: HashComponent -> HashComponent -> HashComponent # mconcat :: [HashComponent] -> HashComponent #
Semigroup HashComponent #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods (<>) :: HashComponent -> HashComponent -> HashComponent # sconcat :: NonEmpty HashComponent -> HashComponent # stimes :: Integral b => b -> HashComponent -> HashComponent #
IsString HashComponent #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods fromString :: String -> HashComponent #
Show HashComponent #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods showsPrec :: Int -> HashComponent -> ShowS # show :: HashComponent -> String # showList :: [HashComponent] -> ShowS #
Eq HashComponent #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods (==) :: HashComponent -> HashComponent -> Bool # (/=) :: HashComponent -> HashComponent -> Bool #
ToHashComponent (b :: k) HashComponent #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: HashComponent -> HashComponent #

class ToHashComponent (b :: k) a where #

Methods

toHashComponent :: a -> HashComponent #

Instances

Instances details

ToHashComponent (b :: k) Int64 #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: Int64 -> HashComponent #
DumpPayload Query b => ToHashComponent (b :: k) Query #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: Query -> HashComponent #
DumpPayload SExp b => ToHashComponent (b :: k) SExp #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: SExp -> HashComponent #
ToHashComponent (b :: k) Type #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: Type -> HashComponent #
DumpPayload UpdateQuery b => ToHashComponent (b :: k) UpdateQuery #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: UpdateQuery -> HashComponent #
ToHashComponent (b :: k) HashComponent #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: HashComponent -> HashComponent #
ToHashComponent (b :: k) AssertionGroup #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: AssertionGroup -> HashComponent #
ToHashComponent (b :: k) AssertionSeverity #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: AssertionSeverity -> HashComponent #
ToHashComponent (b :: k) Cascade #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: Cascade -> HashComponent #
ToHashComponent (b :: k) MissingBehavior #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: MissingBehavior -> HashComponent #
ToHashComponent (b :: k) TableWriteStrategy #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: TableWriteStrategy -> HashComponent #
DumpPayload Statement b => ToHashComponent (b :: k) Statement #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: Statement -> HashComponent #
ToHashComponent (b :: k) Text #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: Text -> HashComponent #
ToHashComponent (b :: k) NominalDiffTime #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: NominalDiffTime -> HashComponent #
ToHashComponent (b :: k) UTCTime #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: UTCTime -> HashComponent #
ToHashComponent (b :: k) Integer #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: Integer -> HashComponent #
ToHashComponent (b :: k) () #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: () -> HashComponent #
ToHashComponent (b :: k) Bool #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: Bool -> HashComponent #
ToHashComponent (b :: k) Double #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: Double -> HashComponent #
ToHashComponent (b :: k) Int #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: Int -> HashComponent #
ToHashComponent b a => ToHashComponent (b :: k) (Set a) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: Set a -> HashComponent #
ToHashComponent b a => ToHashComponent (b :: k) (NonEmpty a) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: NonEmpty a -> HashComponent #
(GToHashComponent b (Rep a), Generic a) => ToHashComponent (b :: k) (Generically a) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: Generically a -> HashComponent #
Show a => ToHashComponent (b :: k) (ShowHashComponent a) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: ShowHashComponent a -> HashComponent #
ToHashComponent b a => ToHashComponent (b :: k) (Maybe a) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: Maybe a -> HashComponent #
ToHashComponent b a => ToHashComponent (b :: k) [a] #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: [a] -> HashComponent #
(ToHashComponent b x, ToHashComponent b y) => ToHashComponent (b :: k) (Either x y) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: Either x y -> HashComponent #
(Hashable a, ToHashComponent b a, ToHashComponent b x) => ToHashComponent (b :: k) (HashMap a x) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: HashMap a x -> HashComponent #
(ToHashComponent b x, ToHashComponent b y) => ToHashComponent (b :: k) (x, y) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: (x, y) -> HashComponent #
ToHashComponent (b :: k1) (Ref a) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: Ref a -> HashComponent #
DumpPayload a b => ToHashComponent (b :: k) (DumpPayloadHashComponent b a) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: DumpPayloadHashComponent b a -> HashComponent #
(ToHashComponent b x, ToHashComponent b y, ToHashComponent b z) => ToHashComponent (b :: k) (x, y, z) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: (x, y, z) -> HashComponent #
(Foldable f, ToHashComponent b a) => ToHashComponent (b :: k) (FoldableHashComponent f b a) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: FoldableHashComponent f b a -> HashComponent #

newtype ShowHashComponent a #

Constructors

ShowHashComponent a

Instances

Instances details

Show a => ToHashComponent (b :: k) (ShowHashComponent a) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: ShowHashComponent a -> HashComponent #

newtype DumpPayloadHashComponent (b :: k) a #

Constructors

DumpPayloadHashComponent a

Instances

Instances details

DumpPayload a b => ToHashComponent (b :: k) (DumpPayloadHashComponent b a) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: DumpPayloadHashComponent b a -> HashComponent #
Show a => Show (DumpPayloadHashComponent b a) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods showsPrec :: Int -> DumpPayloadHashComponent b a -> ShowS # show :: DumpPayloadHashComponent b a -> String # showList :: [DumpPayloadHashComponent b a] -> ShowS #
Eq a => Eq (DumpPayloadHashComponent b a) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods (==) :: DumpPayloadHashComponent b a -> DumpPayloadHashComponent b a -> Bool # (/=) :: DumpPayloadHashComponent b a -> DumpPayloadHashComponent b a -> Bool #

class GToHashComponent (b :: k) (f :: k1 -> Type) where #

Methods

gToHashComponent :: forall (a :: k1). f a -> HashComponent #

Instances

Instances details

GToHashComponent (b :: k1) (U1 :: k2 -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods gToHashComponent :: forall (a :: k2). U1 a -> HashComponent #
GToHashComponent (b :: k1) (V1 :: k2 -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods gToHashComponent :: forall (a :: k2). V1 a -> HashComponent #
(GToHashComponent b x, GToHashComponent b y) => GToHashComponent (b :: k1) (x :*: y :: k2 -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods gToHashComponent :: forall (a :: k2). (x :*: y) a -> HashComponent #
(GToHashComponent b x, GToHashComponent b y) => GToHashComponent (b :: k1) (x :+: y :: k2 -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods gToHashComponent :: forall (a :: k2). (x :+: y) a -> HashComponent #
(Constructor m, GToHashComponent b a) => GToHashComponent (b :: k1) (C1 m a :: k2 -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods gToHashComponent :: forall (a0 :: k2). C1 m a a0 -> HashComponent #
GToHashComponent b a => GToHashComponent (b :: k1) (D1 m a :: k2 -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods gToHashComponent :: forall (a0 :: k2). D1 m a a0 -> HashComponent #
ToHashComponent b a => GToHashComponent (b :: k1) (K1 m a :: k2 -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods gToHashComponent :: forall (a0 :: k2). K1 m a a0 -> HashComponent #
(GToHashComponent b a, Selector m) => GToHashComponent (b :: k1) (S1 m a :: k2 -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods gToHashComponent :: forall (a0 :: k2). S1 m a a0 -> HashComponent #

newtype FoldableHashComponent (f :: k -> Type) (b :: k1) (a :: k) #

Constructors

FoldableHashComponent (f a)

Instances

Instances details

(Foldable f, ToHashComponent b a) => ToHashComponent (b :: k) (FoldableHashComponent f b a) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toHashComponent :: FoldableHashComponent f b a -> HashComponent #

data HashComponent' (b :: k) #

Constructors

(Eq x, Show x, ToHashComponent b x, Typeable x) => HashComponent x

Instances

Instances details

IsString (HashComponent' b) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods fromString :: String -> HashComponent' b #
Show (HashComponent' b) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods showsPrec :: Int -> HashComponent' b -> ShowS # show :: HashComponent' b -> String # showList :: [HashComponent' b] -> ShowS #
Eq (HashComponent' b) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods (==) :: HashComponent' b -> HashComponent' b -> Bool # (/=) :: HashComponent' b -> HashComponent' b -> Bool #

newtype HashComponents (b :: k) #

Constructors

HashComponents [HashComponent' b]

Instances

Instances details

Monoid (HashComponents b) #

Instance details

Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types

Methods

mempty :: HashComponents b #

mappend :: HashComponents b -> HashComponents b -> HashComponents b #

mconcat :: [HashComponents b] -> HashComponents b #

Semigroup (HashComponents b) #

Instance details

Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types

Methods

(<>) :: HashComponents b -> HashComponents b -> HashComponents b #

sconcat :: NonEmpty (HashComponents b) -> HashComponents b #

stimes :: Integral b0 => b0 -> HashComponents b -> HashComponents b #

Generic (HashComponents b) #

Instance details

Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types

Associated Types

type Rep (HashComponents b)
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types type Rep (HashComponents b) = Rep [HashComponent' b]