Libraries.Template.Lifting
type Body
data Lit
data Pat
data Match
data Dec
data Exp
data BindS
doE
getVarNames
substMatch
substDec
substExp
mapSubstExp
litTHtoExpAST
litTHtoPatAST
normalizePatInExp
whereToLet
clauseToMatch
clausesToLambda
expTHtoAST
matchTHtoAST
bodyTHtoAST
patTHtoAST
firstLevelDecTHtoAST
decTHtoAST
typReturnE
typMAppE
litASTtoTH
patASTtoTH
matchASTtoTH
decASTtoTH
expASTtoTH
liftIntegerL
liftRationalL
liftLitAST
liftPatAST
liftMatchAST
liftDecAST
liftFirstLevelDecAST
liftExpAST
makeDecTemplate
prettyPrintAST
prettyPrintLiftExpTH
prettyPrintLiftExpAST
decToMonad
expToMonad