th-desugar-1.14: Functions to desugar Template Haskell

Copyright | (C) 2014 Richard Eisenberg
License | BSD-style (see LICENSE)
Maintainer | Ryan Scott
Stability | experimental
Portability | non-portable
Safe Haskell | Safe-Inferred
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 DClause Source # |
Instance details Methods lift :: Quote m => DClause -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DClause -> Code m DClause Source #
Lift DCon Source # |
Instance details Methods lift :: Quote m => DCon -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DCon -> Code m DCon Source #
Lift DConFields Source # |
Instance details Methods lift :: Quote m => DConFields -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DConFields -> Code m DConFields Source #
Lift DDec Source # |
Instance details Methods lift :: Quote m => DDec -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DDec -> Code m DDec Source #
Lift DDerivClause Source # |
Instance details Methods lift :: Quote m => DDerivClause -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DDerivClause -> Code m DDerivClause Source #
Lift DDerivStrategy Source # |
Instance details Methods lift :: Quote m => DDerivStrategy -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DDerivStrategy -> Code m DDerivStrategy Source #
Lift DExp Source # |
Instance details Methods lift :: Quote m => DExp -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DExp -> Code m DExp Source #
Lift DFamilyResultSig Source # |
Instance details Methods lift :: Quote m => DFamilyResultSig -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DFamilyResultSig -> Code m DFamilyResultSig Source #
Lift DForallTelescope Source # |
Instance details Methods lift :: Quote m => DForallTelescope -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DForallTelescope -> Code m DForallTelescope Source #
Lift DForeign Source # |
Instance details Methods lift :: Quote m => DForeign -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DForeign -> Code m DForeign Source #
Lift DLetDec Source # |
Instance details Methods lift :: Quote m => DLetDec -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DLetDec -> Code m DLetDec Source #
Lift DMatch Source # |
Instance details Methods lift :: Quote m => DMatch -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DMatch -> Code m DMatch Source #
Lift DPat Source # |
Instance details Methods lift :: Quote m => DPat -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DPat -> Code m DPat Source #
Lift DPatSynDir Source # |
Instance details Methods lift :: Quote m => DPatSynDir -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DPatSynDir -> Code m DPatSynDir Source #
Lift DPragma Source # |
Instance details Methods lift :: Quote m => DPragma -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DPragma -> Code m DPragma Source #
Lift DRuleBndr Source # |
Instance details Methods lift :: Quote m => DRuleBndr -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DRuleBndr -> Code m DRuleBndr Source #
Lift DTySynEqn Source # |
Instance details Methods lift :: Quote m => DTySynEqn -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DTySynEqn -> Code m DTySynEqn Source #
Lift DType Source # |
Instance details Methods lift :: Quote m => DType -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DType -> Code m DType Source #
Lift DTypeFamilyHead Source # |
Instance details Methods lift :: Quote m => DTypeFamilyHead -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DTypeFamilyHead -> Code m DTypeFamilyHead Source #
Lift NewOrData Source # |
Instance details Methods lift :: Quote m => NewOrData -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => NewOrData -> Code m NewOrData Source #
Lift DFunArgs Source # |
Instance details Methods lift :: Quote m => DFunArgs -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DFunArgs -> Code m DFunArgs Source #
Lift DTypeArg Source # |
Instance details Methods lift :: Quote m => DTypeArg -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DTypeArg -> Code m DTypeArg Source #
Lift DVisFunArg Source # |
Instance details Methods lift :: Quote m => DVisFunArg -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DVisFunArg -> Code m DVisFunArg Source #
Lift ForallTelescope Source # |
Instance details Methods lift :: Quote m => ForallTelescope -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => ForallTelescope -> Code m ForallTelescope Source #
Lift FunArgs Source # |
Instance details Methods lift :: Quote m => FunArgs -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => FunArgs -> Code m FunArgs Source #
Lift TypeArg Source # |
Instance details Methods lift :: Quote m => TypeArg -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => TypeArg -> Code m TypeArg Source #
Lift VisFunArg Source # |
Instance details Methods lift :: Quote m => VisFunArg -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => VisFunArg -> Code m VisFunArg Source #
Lift flag => Lift (DTyVarBndr flag :: Type) Source # |
Instance details Methods lift :: Quote m => DTyVarBndr flag -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => DTyVarBndr flag -> Code m (DTyVarBndr flag) Source #