Data.Extensible.Label

Experimental API for OverloadedLabels. GHC 8.0+ only

Orphan instances

(Extensible f p e, Lookup xs k v, Wrapper h, ExtensibleConstr e xs (Field h :: Assoc Symbol v -> Type) (k ':> v), rep ~ Repr h v, s ~ e xs (Field h :: Assoc Symbol v -> 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)