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

Copyright(c) Fumiaki Kinoshita 2017
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

(~) Symbol k l => IsLabel k (Proxy Symbol l) Source # 

Methods

fromLabel :: Proxy# Symbol k -> Proxy Symbol l #