Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Napkin.Run.Effects.Languages.AnnotateRead
Documentation
data TableAnnotations #
Constructors
TableAnnotations | |
Fields |
Instances
data AnnotateRead b m a where #
Constructors
GetAnnotations :: Ref Table -> AnnotateRead b m TableAnnotations |
Instances
ToDumpItem (b :: k) (AnnotateRead b :: (Type -> Type) -> Type -> Type) # | |
Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods toDumpItem :: forall (r :: EffectRow) (x :: k1). AnnotateRead b (Sem r) x -> DumpItem b # | |
GShow (AnnotateRead bk a :: Type -> Type) # | |
Defined in Napkin.Run.Effects.Languages.AnnotateRead Methods gshowsPrec :: forall (a0 :: k). 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 b r. Member (AnnotateRead b) r => Ref Table -> Sem r TableAnnotations #
getTargetAnnotations :: forall b effs. Members [AnnotateRead b, Reader TargetName] effs => Sem effs TableAnnotations #