Data.GenRec.RecInstances.Record

Documentation

type Record = (Rec Reco :: [(Symbol, Type)] -> Type)

• Records

datatype definition

data Reco

index type

Instances

(Show v, KnownSymbol l, Show (Record ((,) l' v' ': r))) => Show (Record ((,) l v ': ((,) l' v' ': r)))

Defined in Data.GenRec.RecInstances.Record

Methods

showsPrec :: Int -> Record ((l, v) ': ((l', v') ': r)) -> ShowS

show :: Record ((l, v) ': ((l', v') ': r)) -> String

showList :: [Record ((l, v) ': ((l', v') ': r))] -> ShowS

(Show v, KnownSymbol l) => Show (Record ((,) l v ': ([] :: [(Symbol, Type)])))

Defined in Data.GenRec.RecInstances.Record

Methods

showsPrec :: Int -> Record ((l, v) ': []) -> ShowS

show :: Record ((l, v) ': []) -> String

showList :: [Record ((l, v) ': [])] -> ShowS

Show (Record ([] :: [(Symbol, Type)]))

Defined in Data.GenRec.RecInstances.Record

Methods

showsPrec :: Int -> Record [] -> ShowS

show :: Record [] -> String

showList :: [Record []] -> ShowS

type ShowField Reco

Defined in Data.GenRec.RecInstances.Record

type ShowField Reco = "field named "

type ShowRec Reco

Type level show utilities

Defined in Data.GenRec.RecInstances.Record

type ShowRec Reco = "Record"

type WrapField Reco (v :: Type)

field type

Defined in Data.GenRec.RecInstances.Record

type WrapField Reco (v :: Type) = v

untag :: Tagged l v -> v

getLabel :: Tagged l v -> Label l

Get a label

(.==.) :: Label l -> v -> Tagged l v infix 4

Pretty Constructor

(.**.) :: Require (OpExtend Reco l v r) (Text "" ': ([] :: [ErrorMessage])) => Tagged l v -> Rec Reco r -> ReqR (OpExtend Reco l v r) infixr 2

extension

(##) :: Require (OpLookup Reco l r) ([] :: [ErrorMessage]) => Rec Reco r -> Label l -> ReqR (OpLookup Reco l r) infixl 5

Lookup

emptyRecord :: Record ('[] :: [(Symbol, Type)])

For the empty Record