th-desugar

Functions to desugar Template Haskell

Version1.17
CategoryTemplate Haskell
LicenceBSD-3-Clause
AuthorRichard Eisenberg <rae@cs.brynmawr.edu>
MaintainerRyan Scott <ryan.gl.scott@gmail.com>
Homepagegithub.com/goldfirere/th-desugar
Pinned byhackage th-desugar 1.17
Sourcehackage.haskell.org/package/th-desugar-1.17

Modules

8 modules

Language.Haskell.TH.Desugar160Desugars full Template Haskell syntax into a smaller core syntax for further
Language.Haskell.TH.Desugar.Expand3Expands type synonyms and type families in desugared types.
Language.Haskell.TH.Desugar.Lift0Historically, this module defined orphan Lift instances for the data types
Language.Haskell.TH.Desugar.OMap24An OMap behaves much like a Map, with all the same asymptotics, but
Language.Haskell.TH.Desugar.OMap.Strict24An OMap behaves much like a Map, with all the same asymptotics, but
Language.Haskell.TH.Desugar.OSet20An OSet behaves much like a Set, with all the same asymptotics, but
Language.Haskell.TH.Desugar.Subst8Capture-avoiding substitutions on DTypes
Language.Haskell.TH.Desugar.Sweeten18The functions in this module convert desugared Template Haskell back into

Description

This package provides the Language.Haskell.TH.Desugar module, which desugars Template Haskell's rich encoding of Haskell syntax into a simpler encoding. This desugaring discards surface syntax information (such as the use of infix operators) but retains the original meaning of the TH code. The intended use of this package is as a preprocessor for more advanced code manipulation tools. Note that the input to any of the ds... functions should be produced from a TH quote, using the syntax [| ... |]. If the input to these functions is a hand-coded TH syntax tree, the results may be unpredictable. In particular, it is likely that promoted datatypes will not work as expected.

Depends on

10 packages

Used by in this set · 0

Nothing in this set depends on it.