Documentation

Overloaded plugin.

To enable plugin put the following at top of the module:

{-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:Symbols #-}

At least one option is required, multiple can given either using multiple -fplugin-opt options, or by separating options with colon:

{-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:Symbols:Numerals #-}

Options also take optional desugaring names, for example

{-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:Labels=Data.Generics.ProductFields.field #-}

to desugar OverloadedLabels directly into field from generics-lens (no need to import orphan instance!)

Supported options

• Symbols desugars literal strings to fromSymbol @sym
• Strings works like built-in OverloadedStrings (but you can use different method than fromString)
• Numerals desugars literal numbers to fromNumeral @nat
• Naturals desugars literal numbers to fromNatural nat (i.e. like fromString)
• Chars desugars literal characters to fromChars c. Note: there isn't type-level alternative: we cannot promote Chars.
• Lists is not like built-in OverloadedLists, but desugars explicit lists to cons and nil
• If desugars if-expressions to ifte b t e
• Labels works like built-in OverloadedLabels (you should enable OverloadedLabels so parser recognises the syntax)
• TypeNats and TypeSymbols desugar type-level literals into FromNat and FromTypeSymbol respectively.

Known limitations

• Doesn't desugar inside patterns