Copyright | (c) Fumiaki Kinoshita 2017 |
---|---|
License | BSD3 |
Maintainer | Fumiaki Kinoshita <fumiexcel@gmail.com> |
Safe Haskell | None |
Language | Haskell2010 |
Experimental API for OverloadedLabels. GHC 8.0+ only
- 訊 :: Proxy k -> FieldOptic k
Documentation
Orphan instances
(Extensible (Assoc Symbol v) f p e, Associate v Symbol k v1 xs, Labelling * * Symbol k p, Wrapper v h, ExtensibleConstr (Assoc Symbol v) e (Field Symbol v h) xs ((:>) Symbol v k v1), (~) * 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)) Source # | |
(~) Symbol k l => IsLabel k (Proxy Symbol l) Source # | |