Copyright | (C) 2014 Richard Eisenberg |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Richard Eisenberg (rae@cs.brynmawr.edu) |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
The functions in this module convert desugared Template Haskell back into proper Template Haskell.
- expToTH :: DExp -> Exp
- matchToTH :: DMatch -> Match
- patToTH :: DPat -> Pat
- decsToTH :: [DDec] -> [Dec]
- decToTH :: DDec -> [Dec]
- letDecToTH :: DLetDec -> Maybe Dec
- typeToTH :: DType -> Type
- conToTH :: DCon -> Con
- foreignToTH :: DForeign -> Foreign
- pragmaToTH :: DPragma -> Maybe Pragma
- ruleBndrToTH :: DRuleBndr -> RuleBndr
- clauseToTH :: DClause -> Clause
- tvbToTH :: DTyVarBndr -> TyVarBndr
- cxtToTH :: DCxt -> Cxt
- predToTH :: DPred -> Pred
- derivClauseToTH :: DDerivClause -> [DerivClause]
- patSynDirToTH :: DPatSynDir -> PatSynDir
Documentation
decToTH :: DDec -> [Dec] Source #
This returns a list of Dec
s because GHC 7.6.3 does not have
a one-to-one mapping between DDec
and Dec
.
foreignToTH :: DForeign -> Foreign Source #
ruleBndrToTH :: DRuleBndr -> RuleBndr Source #
clauseToTH :: DClause -> Clause Source #
tvbToTH :: DTyVarBndr -> TyVarBndr Source #
derivClauseToTH :: DDerivClause -> [DerivClause] Source #
patSynDirToTH :: DPatSynDir -> PatSynDir Source #