Data.Extensible.Label

Experimental API for OverloadedLabels. GHC 8.0+ only

Documentation

訊 :: Proxy k -> FieldOptic k

Specialised version of itemAssoc.

Orphan instances

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

Methods

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

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

Methods

fromLabel :: Proxy# Symbol k -> Optic' * * p f (t (Field Symbol v h) xs) rep