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 v1) f p e, Associate Symbol v1 k v2 xs, Labelling Symbol * * k p, Wrapper v1 h, ExtensibleConstr (Assoc Symbol v1) e (Field Symbol v1 h) xs ((:>) Symbol v1 k v2), (~) * rep (Repr v1 h v2), (~) * s (e (Field Symbol v1 h) xs), (~) * s t, (~) * rep rep') => IsLabel k (p rep (f rep') -> p s (f t))

Methods

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

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

Methods

fromLabel :: Proxy Symbol l