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