overloaded-records-0.4.2.0: Overloaded Records based on current GHC proposal.

Copyright(c) 2016 Peter Trško
LicenseBSD3
Maintainer[email protected]
Stabilityexperimental
PortabilityNoImplicitPrelude
Safe HaskellNone
LanguageHaskell2010

Data.OverloadedLabels.TH

Description

Derive instances of IsLabel magic class for OverloadedLabels.

If you are using GHC, then you should use OverloadedLabels language extension and not this module.

Synopsis

Documentation

label :: String -> DecsQ Source #

Define overloaded label:

<label-name> :: IsLabel "<label-name>" a => a
<label-name> = fromLabel (proxy# :: Proxy# "<label-name>")

labelNoSig :: String -> DecsQ Source #

Define overloaded label, but without a type signature:

<label-name> = fromLabel (proxy# :: Proxy# "<label-name>")

labels :: [String] -> DecsQ Source #

Same as label, but defines multiple overloaded labels at once.

labelsNoSig :: [String] -> DecsQ Source #

Same as labelsNoSig, but defines multiple overloaded labels at once.