Copyright	(C) 2014 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Ryan Scott
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Language.Haskell.TH.Desugar.Lift

Contents

Orphan instances

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)) #