Safe Haskell | None |
---|---|
Language | GHC2024 |
Napkin.Run.Effects.Languages.AnnotateRead
Documentation
data TableAnnotations #
Constructors
TableAnnotations | |
Fields |
Instances
data AnnotateRead (b :: k) (m :: k1) a where #
Constructors
GetAnnotations :: forall {k} {k1} (b :: k) (m :: k1). Ref Table -> AnnotateRead b m TableAnnotations |
Instances
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 # | |
GShow (AnnotateRead bk a :: Type -> Type) # | |
Defined in Napkin.Run.Effects.Languages.AnnotateRead Methods gshowsPrec :: Int -> AnnotateRead bk a a0 -> ShowS # | |
Show (AnnotateRead bk a b) # | |
Defined in Napkin.Run.Effects.Languages.AnnotateRead Methods showsPrec :: Int -> AnnotateRead bk a b -> ShowS # show :: AnnotateRead bk a b -> String # showList :: [AnnotateRead bk a b] -> ShowS # | |
Eq (AnnotateRead bk a b) # | |
Defined in Napkin.Run.Effects.Languages.AnnotateRead Methods (==) :: AnnotateRead bk a b -> AnnotateRead bk a b -> Bool # (/=) :: AnnotateRead bk a b -> AnnotateRead bk a b -> Bool # |
getAnnotations :: forall {k} (b :: k) (r :: EffectRow). Member (AnnotateRead b :: (Type -> Type) -> Type -> Type) r => Ref Table -> Sem r TableAnnotations #
getTargetAnnotations :: forall {k} (b :: k) (effs :: EffectRow). Members '[AnnotateRead b :: (Type -> Type) -> Type -> Type, Reader TargetName] effs => Sem effs TableAnnotations #