Data.OverloadedLabels.TH

Derive instances of IsLabel magic class for OverloadedLabels.

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

Documentation

label :: String -> DecsQ

Define overloaded label:

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

labelNoSig :: String -> DecsQ

Define overloaded label, but without a type signature:

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

labels :: [String] -> DecsQ

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

labelsNoSig :: [String] -> DecsQ

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