napkin-spec-2.0.0
Safe HaskellNone
LanguageGHC2024

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

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-K8Z80aIHKAH2qnB4rTEZon" '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-K8Z80aIHKAH2qnB4rTEZon" '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]

Methods

from :: HashComponents b -> Rep (HashComponents b) x #

to :: Rep (HashComponents b) x -> HashComponents b #

Show (HashComponents b) # 
Instance details

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

Methods

showsPrec :: Int -> HashComponents b -> ShowS #

show :: HashComponents b -> String #

showList :: [HashComponents b] -> ShowS #

Eq (HashComponents b) # 
Instance details

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

Methods

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

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

type Rep (HashComponents b) # 
Instance details

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

type Rep (HashComponents b) = Rep [HashComponent' b]

nonHashableProgram :: forall {k} (b :: k). HashComponents b #

excludedHashProgram :: forall {k} (b :: k). HashComponents b #

data ProgramHash #

Constructors

EmptyHash 
ProgramHash Text 
UnhashableProgram 

Instances

Instances details
FromJSON ProgramHash # 
Instance details

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

Methods

parseJSON :: Value -> Parser ProgramHash #

parseJSONList :: Value -> Parser [ProgramHash] #

omittedField :: Maybe ProgramHash #

ToJSON ProgramHash # 
Instance details

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

Methods

toJSON :: ProgramHash -> Value #

toEncoding :: ProgramHash -> Encoding #

toJSONList :: [ProgramHash] -> Value #

toEncodingList :: [ProgramHash] -> Encoding #

omitField :: ProgramHash -> Bool #

Buildable ProgramHash # 
Instance details

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

Methods

build :: ProgramHash -> Builder #

Generic ProgramHash # 
Instance details

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

Associated Types

type Rep ProgramHash 
Instance details

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

type Rep ProgramHash = D1 ('MetaData "ProgramHash" "Napkin.Run.Effects.Interceptors.LogProgram.Types" "napkin-spec-2.0.0-K8Z80aIHKAH2qnB4rTEZon" 'False) (C1 ('MetaCons "EmptyHash" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ProgramHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "UnhashableProgram" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: ProgramHash -> Rep ProgramHash x #

to :: Rep ProgramHash x -> ProgramHash #

Show ProgramHash # 
Instance details

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

Methods

showsPrec :: Int -> ProgramHash -> ShowS #

show :: ProgramHash -> String #

showList :: [ProgramHash] -> ShowS #

Eq ProgramHash # 
Instance details

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

Methods

(==) :: ProgramHash -> ProgramHash -> Bool #

(/=) :: ProgramHash -> ProgramHash -> Bool #

type Rep ProgramHash # 
Instance details

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

type Rep ProgramHash = D1 ('MetaData "ProgramHash" "Napkin.Run.Effects.Interceptors.LogProgram.Types" "napkin-spec-2.0.0-K8Z80aIHKAH2qnB4rTEZon" 'False) (C1 ('MetaCons "EmptyHash" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ProgramHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "UnhashableProgram" 'PrefixI 'False) (U1 :: Type -> Type)))

getProgramHash :: forall {k} (b :: k). HashComponents b -> ProgramHash #