Language.Haskell.TH.LiftInstances

This module provides Lift instances for all the AST-types defined in Language.Haskell.Syntax: Guard Strict, Callconv, Safety,Body, Con, FunDep, Foreign, Lit, Pat, Match, Stmt, Range, Clause, Type, Dec, Exp

Furthermore it provides a Lift instance of Ratio, Int8, Int16, Int32, (essential for some of the other instantiations) and a function (metaLift) which lifts an expression twice, obtaing its meta AST (the AST of the AST)

Documentation

metaLift :: Lift a => a -> Q Exp

lift twice, getting the meta AST (the AST of the AST)