extensible-0.5: Extensible, efficient, optics-friendly data types and effects

Copyright(c) Fumiaki Kinoshita 2018
LicenseBSD3
MaintainerFumiaki Kinoshita <fumiexcel@gmail.com>
Safe HaskellNone
LanguageHaskell2010

Data.Extensible.Label

Contents

Description

Experimental API for OverloadedLabels. GHC 8.0+ only

Synopsis

Documentation

:: Proxy k -> FieldOptic k Source #

Specialised version of itemAssoc.

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 # 
Instance details

Methods

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

k ~ l => IsLabel k (Proxy l) Source # 
Instance details

Methods

fromLabel :: Proxy l #