Copyright | (C) 2014 Richard Eisenberg |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Richard Eisenberg (eir@cis.upenn.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 -> Dec
- typeToTH :: DType -> Type
- kindToTH :: DKind -> Kind
- 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
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
.
letDecToTH :: DLetDec -> Dec Source
foreignToTH :: DForeign -> Foreign Source
pragmaToTH :: DPragma -> Maybe Pragma Source
ruleBndrToTH :: DRuleBndr -> RuleBndr Source
clauseToTH :: DClause -> Clause Source
tvbToTH :: DTyVarBndr -> TyVarBndr Source