| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Napkin.Run.Effects.Languages.AnnotateWrite
Documentation
data AnnotateWrite b m a where #
Constructors
| AnnotateTable :: Ref Table -> Text -> AnnotateWrite b m () | |
| AnnotateColumns :: Ref Table -> ColumnsAnnotations -> AnnotateWrite b m () |
Instances
| ToDumpItem (b :: k) (AnnotateWrite b :: (Type -> Type) -> Type -> Type) # | |
Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods toDumpItem :: forall (r :: EffectRow) (x :: k1). AnnotateWrite b (Sem r) x -> DumpItem b # | |
| GShow (AnnotateWrite bk a :: Type -> Type) # | |
Defined in Napkin.Run.Effects.Languages.AnnotateWrite Methods gshowsPrec :: forall (a0 :: k). Int -> AnnotateWrite bk a a0 -> ShowS # | |
| Show (AnnotateWrite bk a b) # | |
Defined in Napkin.Run.Effects.Languages.AnnotateWrite Methods showsPrec :: Int -> AnnotateWrite bk a b -> ShowS # show :: AnnotateWrite bk a b -> String # showList :: [AnnotateWrite bk a b] -> ShowS # | |
| Eq (AnnotateWrite bk a b) # | |
Defined in Napkin.Run.Effects.Languages.AnnotateWrite Methods (==) :: AnnotateWrite bk a b -> AnnotateWrite bk a b -> Bool # (/=) :: AnnotateWrite bk a b -> AnnotateWrite bk a b -> Bool # | |
annotateColumns :: forall b r. Member (AnnotateWrite b) r => Ref Table -> ColumnsAnnotations -> Sem r () #
annotateTable :: forall b r. Member (AnnotateWrite b) r => Ref Table -> Text -> Sem r () #
annotateColumn :: forall b effs. Member (AnnotateWrite b) effs => Ref Table -> Ref SExp -> Text -> Sem effs () #
annotateTargetTable :: forall b effs. Members [AnnotateWrite b, Reader TargetName] effs => Text -> Sem effs () #
annotateTargetColumns :: forall b effs. Members [AnnotateWrite b, Reader TargetName] effs => ColumnsAnnotations -> Sem effs () #
annotateTargetColumn :: forall b effs. Members [AnnotateWrite b, Reader TargetName] effs => Ref SExp -> Text -> Sem effs () #