forsyde-deep-0.2.0: ForSyDe's Haskell-embedded Domain Specific Language.

Copyright(c) SAM Group, KTH/ICT/ECS 2007-2008
LicenseBSD-style (see the file LICENSE)
Maintainerforsyde-dev@ict.kth.se
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell98

Language.Haskell.TH.LiftInstances

Contents

Description

This module provides Lift instances for all the AST-types defined in Language.Haskell.Syntax

Furthermore it provides a function (metaLift) which lifts an expression twice, obtaing its meta AST (the AST of the AST)

Synopsis

Documentation

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

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

Orphan instances

Lift Exp Source # 

Methods

lift :: Exp -> Q Exp #

Lift Match Source # 

Methods

lift :: Match -> Q Exp #

Lift Clause Source # 

Methods

lift :: Clause -> Q Exp #

Lift Pat Source # 

Methods

lift :: Pat -> Q Exp #

Lift Type Source # 

Methods

lift :: Type -> Q Exp #

Lift Dec Source # 

Methods

lift :: Dec -> Q Exp #

Lift FunDep Source # 

Methods

lift :: FunDep -> Q Exp #

Lift TyVarBndr Source # 

Methods

lift :: TyVarBndr -> Q Exp #

Lift InjectivityAnn Source # 

Methods

lift :: InjectivityAnn -> Q Exp #

Lift Overlap Source # 

Methods

lift :: Overlap -> Q Exp #

Lift Module Source # 

Methods

lift :: Module -> Q Exp #

Lift ModuleInfo Source # 

Methods

lift :: ModuleInfo -> Q Exp #

Lift Fixity Source # 

Methods

lift :: Fixity -> Q Exp #

Lift FixityDirection Source # 

Methods

lift :: FixityDirection -> Q Exp #

Lift Lit Source # 

Methods

lift :: Lit -> Q Exp #

Lift Body Source # 

Methods

lift :: Body -> Q Exp #

Lift Guard Source # 

Methods

lift :: Guard -> Q Exp #

Lift Stmt Source # 

Methods

lift :: Stmt -> Q Exp #

Lift Range Source # 

Methods

lift :: Range -> Q Exp #

Lift TypeFamilyHead Source # 

Methods

lift :: TypeFamilyHead -> Q Exp #

Lift TySynEqn Source # 

Methods

lift :: TySynEqn -> Q Exp #

Lift FamFlavour Source # 

Methods

lift :: FamFlavour -> Q Exp #

Lift Foreign Source # 

Methods

lift :: Foreign -> Q Exp #

Lift Callconv Source # 

Methods

lift :: Callconv -> Q Exp #

Lift Safety Source # 

Methods

lift :: Safety -> Q Exp #

Lift Pragma Source # 

Methods

lift :: Pragma -> Q Exp #

Lift Inline Source # 

Methods

lift :: Inline -> Q Exp #

Lift RuleMatch Source # 

Methods

lift :: RuleMatch -> Q Exp #

Lift Phases Source # 

Methods

lift :: Phases -> Q Exp #

Lift RuleBndr Source # 

Methods

lift :: RuleBndr -> Q Exp #

Lift AnnTarget Source # 

Methods

lift :: AnnTarget -> Q Exp #

Lift SourceUnpackedness Source # 
Lift SourceStrictness Source # 

Methods

lift :: SourceStrictness -> Q Exp #

Lift DecidedStrictness Source # 
Lift Con Source # 

Methods

lift :: Con -> Q Exp #

Lift Bang Source # 

Methods

lift :: Bang -> Q Exp #

Lift FamilyResultSig Source # 

Methods

lift :: FamilyResultSig -> Q Exp #

Lift TyLit Source # 

Methods

lift :: TyLit -> Q Exp #

Lift Role Source # 

Methods

lift :: Role -> Q Exp #

Lift AnnLookup Source # 

Methods

lift :: AnnLookup -> Q Exp #