Safe Haskell | None |
---|---|
Language | GHC2024 |
Napkin.Run.Effects.Languages.AnnotateWrite
Documentation
data Annotation #
Constructors
TableAnnotation Text | |
ColumnsAnnotations (Map (Ref SExp) Text) |
data AnnotateTableOrView #
Constructors
AnnotateTableOrView | |
Fields |
data AnnotateDescription #
Constructors
TableDescription Text | |
ColumnDescription (Ref SExp) Text |
data AnnotateWrite (b :: k) (m :: k1) a where #
Constructors
AnnotateTable :: forall {k} {k1} (b :: k) (m :: k1). Ref Table -> Text -> AnnotateWrite b m () | |
AnnotateColumns :: forall {k} {k1} (b :: k) (m :: k1). Ref Table -> ColumnsAnnotations -> AnnotateWrite b m () |
Instances
ToDumpItem (b :: k) (AnnotateWrite b :: (Type -> Type) -> Type -> Type) # | |
Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types Methods toDumpItem :: forall (r :: EffectRow) x. AnnotateWrite b (Sem r) x -> DumpItem b # | |
GShow (AnnotateWrite bk a :: Type -> Type) # | |
Defined in Napkin.Run.Effects.Languages.AnnotateWrite Methods gshowsPrec :: 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 # |
annotateTable :: forall {k} (b :: k) (r :: EffectRow). Member (AnnotateWrite b :: (Type -> Type) -> Type -> Type) r => Ref Table -> Text -> Sem r () #
annotateColumns :: forall {k} (b :: k) (r :: EffectRow). Member (AnnotateWrite b :: (Type -> Type) -> Type -> Type) r => Ref Table -> ColumnsAnnotations -> Sem r () #
annotateColumn :: forall {k} (b :: k) (effs :: EffectRow). Member (AnnotateWrite b :: (Type -> Type) -> Type -> Type) effs => Ref Table -> Ref SExp -> Text -> Sem effs () #
annotateTargetTable :: forall {k} (b :: k) (effs :: EffectRow). Members '[AnnotateWrite b :: (Type -> Type) -> Type -> Type, Reader TargetName] effs => Text -> Sem effs () #
annotateTargetColumns :: forall {k} (b :: k) (effs :: EffectRow). Members '[AnnotateWrite b :: (Type -> Type) -> Type -> Type, Reader TargetName] effs => ColumnsAnnotations -> Sem effs () #
annotateTargetColumn :: forall {k} (b :: k) (effs :: EffectRow). Members '[AnnotateWrite b :: (Type -> Type) -> Type -> Type, Reader TargetName] effs => Ref SExp -> Text -> Sem effs () #