Data.Extensible.Field

data Field h kv

(@=)

(<@=>)

(@:>)

(@==)

type FieldOptic k

type FieldName k

liftField

liftField2

Records and variants

type RecordOf h

type Record

emptyRecord

type VariantOf h

type Variant

Matching

matchWithField

matchField

Key / value

type family AssocKey (kv :: Assoc k v) :: k where ...

type family AssocValue (kv :: Assoc k v) :: v where ...

class KeyValue pk pv kv

proxyAssocKey

Internal

data LabelPhantom s a b

type family Labelling s p :: Constraint where ...

data Inextensible h xs