Data.Extensible.Label

Experimental API for OverloadedLabels. GHC 8.0+ only

Documentation

訊 :: Proxy k -> FieldOptic k

Specialised version of itemAssoc.

Orphan instances

(Extensible (Assoc Symbol v) f p e, Associate v Symbol k v1 xs, Labelling * * Symbol k p, Wrapper v h, (~) * rep (Repr v h v1), (~) * s (e (Field Symbol v h) xs), (~) * s t, (~) * rep rep') => IsLabel k (p rep (f rep') -> p s (f t))

Methods

fromLabel :: Proxy# Symbol k -> p rep (f rep') -> p s (f t)

(~) Symbol k l => IsLabel k (Proxy Symbol l)

Methods

fromLabel :: Proxy# Symbol k -> Proxy Symbol l