napkin-spec-2.0.0
Safe HaskellNone
LanguageGHC2024

Napkin.Run.Effects.Languages.AnnotateRead

Documentation

data TableAnnotations #

Constructors

TableAnnotations 

Fields

Instances

Instances details
Generic TableAnnotations # 
Instance details

Defined in Napkin.Run.Effects.Languages.AnnotateRead

Associated Types

type Rep TableAnnotations 
Instance details

Defined in Napkin.Run.Effects.Languages.AnnotateRead

type Rep TableAnnotations = D1 ('MetaData "TableAnnotations" "Napkin.Run.Effects.Languages.AnnotateRead" "napkin-spec-2.0.0-7NH5JHRFo7V8BQP5NCfMo1" 'False) (C1 ('MetaCons "TableAnnotations" 'PrefixI 'True) (S1 ('MetaSel ('Just "tableAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "columnsAnnotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColumnsAnnotations)))

Methods

from :: TableAnnotations -> Rep TableAnnotations x #

to :: Rep TableAnnotations x -> TableAnnotations #

type Rep TableAnnotations # 
Instance details

Defined in Napkin.Run.Effects.Languages.AnnotateRead

type Rep TableAnnotations = D1 ('MetaData "TableAnnotations" "Napkin.Run.Effects.Languages.AnnotateRead" "napkin-spec-2.0.0-7NH5JHRFo7V8BQP5NCfMo1" 'False) (C1 ('MetaCons "TableAnnotations" 'PrefixI 'True) (S1 ('MetaSel ('Just "tableAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "columnsAnnotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColumnsAnnotations)))

type ColumnsAnnotations = Map (Ref SExp) Text #

data AnnotateRead (b :: k) (m :: k1) a where #

Constructors

GetAnnotations :: forall {k} {k1} (b :: k) (m :: k1). Ref Table -> AnnotateRead b m TableAnnotations 

Instances

Instances details
ToDumpItem (b :: k) (AnnotateRead b :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Napkin.Run.Effects.Interceptors.LogProgram.Types

Methods

toDumpItem :: forall (r :: EffectRow) x. AnnotateRead b (Sem r) x -> DumpItem b #

GShow (AnnotateRead bk a :: Type -> Type) # 
Instance details

Defined in Napkin.Run.Effects.Languages.AnnotateRead

Methods

gshowsPrec :: Int -> AnnotateRead bk a a0 -> ShowS #

Show (AnnotateRead bk a b) # 
Instance details

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) # 
Instance details

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 {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 #