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