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

Methods

lift :: Specificity -> Q Exp #

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

Lift DDerivStrategy Source # 
Instance details

Methods

lift :: DDerivStrategy -> Q Exp #

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

Lift DDerivClause Source # 
Instance details

Methods

lift :: DDerivClause -> Q Exp #

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

Lift DTySynEqn Source # 
Instance details

Methods

lift :: DTySynEqn -> Q Exp #

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

Lift DRuleBndr Source # 
Instance details

Methods

lift :: DRuleBndr -> Q Exp #

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

Lift DPragma Source # 
Instance details

Methods

lift :: DPragma -> Q Exp #

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

Lift DForeign Source # 
Instance details

Methods

lift :: DForeign -> Q Exp #

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

Lift DConFields Source # 
Instance details

Methods

lift :: DConFields -> Q Exp #

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

Lift DCon Source # 
Instance details

Methods

lift :: DCon -> Q Exp #

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

Lift DFamilyResultSig Source # 
Instance details

Methods

lift :: DFamilyResultSig -> Q Exp #

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

Lift DTypeFamilyHead Source # 
Instance details

Methods

lift :: DTypeFamilyHead -> Q Exp #

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

Lift DPatSynDir Source # 
Instance details

Methods

lift :: DPatSynDir -> Q Exp #

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

Lift DDec Source # 
Instance details

Methods

lift :: DDec -> Q Exp #

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

Lift NewOrData Source # 
Instance details

Methods

lift :: NewOrData -> Q Exp #

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

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

Methods

lift :: DForallTelescope -> Q Exp #

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

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

Methods

lift :: VisFunArg -> Q Exp #

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

Lift FunArgs Source # 
Instance details

Methods

lift :: FunArgs -> Q Exp #

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

Lift ForallTelescope Source # 
Instance details

Methods

lift :: ForallTelescope -> Q Exp #

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

Lift DVisFunArg Source # 
Instance details

Methods

lift :: DVisFunArg -> Q Exp #

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

Lift DFunArgs Source # 
Instance details

Methods

lift :: DFunArgs -> Q Exp #

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

Lift DTypeArg Source # 
Instance details

Methods

lift :: DTypeArg -> Q Exp #

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

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

Methods

lift :: DTyVarBndr flag -> Q Exp #

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