Language.Haskell.TH.Desugar.Sweeten

The functions in this module convert desugared Template Haskell back into proper Template Haskell.

Documentation

expToTH :: DExp -> Exp

matchToTH :: DMatch -> Match

patToTH :: DPat -> Pat

decsToTH :: [DDec] -> [Dec]

decToTH :: DDec -> [Dec]

This returns a list of Decs because GHC 7.6.3 does not have a one-to-one mapping between DDec and Dec.

letDecToTH :: DLetDec -> Dec

conToTH :: DCon -> Con

foreignToTH :: DForeign -> Foreign

pragmaToTH :: DPragma -> Maybe Pragma

ruleBndrToTH :: DRuleBndr -> RuleBndr

tySynEqnToTHDec :: Name -> DTySynEqn -> Dec

GHC 7.6.3 doesn't have TySynEqn, so we sweeten to a Dec in GHC 7.6.3; GHC 7.8+ does not use this function

clauseToTH :: DClause -> Clause

typeToTH :: DType -> Type

tvbToTH :: DTyVarBndr -> TyVarBndr

cxtToTH :: DCxt -> Cxt

predToTH :: DPred -> Pred

kindToTH :: DKind -> Kind