Copyright | (c) Fumiaki Kinoshita 2018 |
---|---|
License | BSD3 |
Maintainer | Fumiaki Kinoshita <fumiexcel@gmail.com> |
Safe Haskell | None |
Language | Haskell2010 |
Experimental API for OverloadedLabels. GHC 8.0+ only
Synopsis
- 訊 :: Proxy k -> FieldOptic k
Documentation
Orphan instances
(Extensible f p e, Associate k v2 xs, Labelling k p, Wrapper h, ExtensibleConstr e (Field h :: Assoc Symbol v1 -> Type) xs (k :> v2), rep ~ Repr h v2, s ~ e (Field h :: Assoc Symbol v1 -> Type) xs, s ~ t, rep ~ rep') => IsLabel k (p rep (f rep') -> p s (f t)) Source # | |
k ~ l => IsLabel k (Proxy l) Source # | |