th-desugar-1.13: Functions to desugar Template Haskell
Copyright(C) 2014 Richard Eisenberg
LicenseBSD-style (see LICENSE)
MaintainerRyan Scott
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Language.Haskell.TH.Desugar.Lift

Description

Defines Lift instances for the desugared language. This is defined in a separate module because it also must define Lift instances for several TH types, which are orphans and may want another definition downstream.

Orphan instances

Lift Specificity Source # 
Instance details

Lift DDerivStrategy Source # 
Instance details

Lift DDerivClause Source # 
Instance details

Lift DTySynEqn Source # 
Instance details

Lift DRuleBndr Source # 
Instance details

Lift DPragma Source # 
Instance details

Methods

lift :: DPragma -> Q Exp #

liftTyped :: DPragma -> Q (TExp DPragma) #

Lift DForeign Source # 
Instance details

Lift DConFields Source # 
Instance details

Lift DCon Source # 
Instance details

Methods

lift :: DCon -> Q Exp #

liftTyped :: DCon -> Q (TExp DCon) #

Lift DFamilyResultSig Source # 
Instance details

Lift DTypeFamilyHead Source # 
Instance details

Lift DPatSynDir Source # 
Instance details

Lift DDec Source # 
Instance details

Methods

lift :: DDec -> Q Exp #

liftTyped :: DDec -> Q (TExp DDec) #

Lift NewOrData Source # 
Instance details

Lift DLetDec Source # 
Instance details

Methods

lift :: DLetDec -> Q Exp #

liftTyped :: DLetDec -> Q (TExp DLetDec) #

Lift DClause Source # 
Instance details

Methods

lift :: DClause -> Q Exp #

liftTyped :: DClause -> Q (TExp DClause) #

Lift DMatch Source # 
Instance details

Methods

lift :: DMatch -> Q Exp #

liftTyped :: DMatch -> Q (TExp DMatch) #

Lift DForallTelescope Source # 
Instance details

Lift DType Source # 
Instance details

Methods

lift :: DType -> Q Exp #

liftTyped :: DType -> Q (TExp DType) #

Lift DPat Source # 
Instance details

Methods

lift :: DPat -> Q Exp #

liftTyped :: DPat -> Q (TExp DPat) #

Lift DExp Source # 
Instance details

Methods

lift :: DExp -> Q Exp #

liftTyped :: DExp -> Q (TExp DExp) #

Lift TypeArg Source # 
Instance details

Methods

lift :: TypeArg -> Q Exp #

liftTyped :: TypeArg -> Q (TExp TypeArg) #

Lift VisFunArg Source # 
Instance details

Lift FunArgs Source # 
Instance details

Methods

lift :: FunArgs -> Q Exp #

liftTyped :: FunArgs -> Q (TExp FunArgs) #

Lift ForallTelescope Source # 
Instance details

Lift DVisFunArg Source # 
Instance details

Lift DFunArgs Source # 
Instance details

Lift DTypeArg Source # 
Instance details

Lift flag => Lift (DTyVarBndr flag :: Type) Source # 
Instance details

Methods

lift :: DTyVarBndr flag -> Q Exp #

liftTyped :: DTyVarBndr flag -> Q (TExp (DTyVarBndr flag)) #