th-desugar-1.9: Functions to desugar Template Haskell

Copyright	(C) 2014 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Ryan Scott
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Language.Haskell.TH.Desugar.Sweeten

Description

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

Synopsis

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

expToTH :: DExp -> Exp Source #

matchToTH :: DMatch -> Match Source #

patToTH :: DPat -> Pat Source #

decsToTH :: [DDec] -> [Dec] Source #

decToTH :: DDec -> [Dec] Source #

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 -> Maybe Dec Source #

Note: This can currently only return a Nothing if the DLetDec is a pragma which is not supported by the GHC version being used.

typeToTH :: DType -> Type Source #

conToTH :: DCon -> Con Source #

foreignToTH :: DForeign -> Foreign Source #

pragmaToTH :: DPragma -> Maybe Pragma Source #

ruleBndrToTH :: DRuleBndr -> RuleBndr Source #

clauseToTH :: DClause -> Clause Source #

tvbToTH :: DTyVarBndr -> TyVarBndr Source #

cxtToTH :: DCxt -> Cxt Source #

predToTH :: DPred -> Pred Source #

derivClauseToTH :: DDerivClause -> [DerivClause] Source #

patSynDirToTH :: DPatSynDir -> PatSynDir Source #