Safe Haskell | None |
---|---|
Language | GHC2021 |
Documentation
data TableAnnotations #
Instances
data AnnotateRead (b :: k) (m :: k1) a where #
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 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 gshowsPrec :: Int -> AnnotateRead bk a a0 -> ShowS # | |
Show (AnnotateRead bk a b) # | |
Defined in Napkin.Run.Effects.Languages.AnnotateRead 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 (==) :: 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 #