Data.Extensible.Label

Experimental API for OverloadedLabels. GHC 8.0+ only

Documentation

xlb :: Proxy k -> FieldOptic k

Specialised version of itemAssoc. Stands for "eXtensible LaBel"

Orphan instances

(Lookup xs k2 v2, Wrapper h, Repr h v2 ~ a) => HasField (k2 :: k1) (RecordOf h xs) a

Methods

getField :: RecordOf h xs -> a

(Extensible f p e, Lookup xs k v2, Labelling k p, Wrapper h, ExtensibleConstr e xs (Field h :: Assoc Symbol v1 -> Type) (k :> v2), rep ~ Repr h v2, s ~ e xs (Field h :: Assoc Symbol v1 -> Type), s ~ t, rep ~ rep') => IsLabel k (p rep (f rep') -> p s (f t))

Methods

fromLabel :: p rep (f rep') -> p s (f t)

k ~ l => IsLabel k (Proxy l)

Methods

fromLabel :: Proxy l