poly-rec-0.6.0.0: Polykinded extensible records

Copyright(c) Juan García Garland Marcos Viera 2020
LicenseGPL-3
Maintainerjpgarcia@fing.edu.uy
Stabilityexperimental
PortabilityPOSIX
Safe HaskellSafe
LanguageHaskell2010

Data.GenRec.Label

Description

 

Documentation

data Label l Source #

Constructors

Label 

sndLabel :: Label '(a, b) -> Label b Source #

fstLabel :: Label '(a, b) -> Label a Source #

labelFromType :: a -> Label a Source #

proxyToLabel :: Proxy a -> Label a Source #