Data.Extensible.Field

data Field h kv

(@=)

(<@=>)

type FieldOptic k

type FieldName k

Records and variants

type RecordOf h

type Record

emptyRecord

type VariantOf h

type Variant

Matching

matchWithField

matchField

Constraint

type family AssocKey kv :: k

type family AssocValue kv :: v

class KeyValue pk pv kv

Internal

data LabelPhantom s a b

type family Labelling s p :: Constraint

data Inextensible h xs