Safe Haskell	Trustworthy
Language	Haskell2010

Language.Haskell.TH.Lift

Contents

Compatibilty shims

Synopsis

class Lift (t :: TYPE r) where
- lift :: Quote m => t -> m Exp
- liftTyped :: forall (m :: Type -> Type). Quote m => t -> Code m t
data Q a
data Code (m :: Type -> Type) (a :: TYPE r)
class Monad m => Quote (m :: Type -> Type)
data Exp
defaultLiftTyped :: forall a (m :: Type -> Type). (Lift a, Quote m) => a -> Code m a
liftAddrCompat :: Quote m => ForeignPtr Word8 -> Word -> Word -> m Exp
liftIntCompat :: Quote m => Integer -> m Exp

Documentation

class Lift (t :: TYPE r) where #

Minimal complete definition

liftTyped

Methods

lift :: Quote m => t -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => t -> Code m t #

Instances

Instances details

Lift Addr# #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Addr# -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Addr# -> Code m Addr# #
Lift Double# #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Double# -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Double# -> Code m Double# #
Lift Float# #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Float# -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Float# -> Code m Float# #
Lift Int# #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Int# -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Int# -> Code m Int# #
Lift ByteArray #
Instance details Defined in Data.Array.Byte Methods lift :: Quote m => ByteArray -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ByteArray -> Code m ByteArray #
Lift Void #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Void -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Void -> Code m Void #
Lift ForeignSrcLang #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => ForeignSrcLang -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ForeignSrcLang -> Code m ForeignSrcLang #
Lift Int16 #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Int16 -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Int16 -> Code m Int16 #
Lift Int32 #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Int32 -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Int32 -> Code m Int32 #
Lift Int64 #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Int64 -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Int64 -> Code m Int64 #
Lift Int8 #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Int8 -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Int8 -> Code m Int8 #
Lift Extension #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Extension -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Extension -> Code m Extension #
Lift AnnLookup #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => AnnLookup -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => AnnLookup -> Code m AnnLookup #
Lift AnnTarget #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => AnnTarget -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => AnnTarget -> Code m AnnTarget #
Lift Bang #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Bang -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Bang -> Code m Bang #
Lift BndrVis #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => BndrVis -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => BndrVis -> Code m BndrVis #
Lift Body #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Body -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Body -> Code m Body #
Lift Bytes #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Bytes -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Bytes -> Code m Bytes #
Lift Callconv #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Callconv -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Callconv -> Code m Callconv #
Lift Clause #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Clause -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Clause -> Code m Clause #
Lift Con #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Con -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Con -> Code m Con #
Lift Dec #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Dec -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Dec -> Code m Dec #
Lift DecidedStrictness #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => DecidedStrictness -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => DecidedStrictness -> Code m DecidedStrictness #
Lift DerivClause #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => DerivClause -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => DerivClause -> Code m DerivClause #
Lift DerivStrategy #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => DerivStrategy -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => DerivStrategy -> Code m DerivStrategy #
Lift DocLoc #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => DocLoc -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => DocLoc -> Code m DocLoc #
Lift Exp #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Exp -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Exp -> Code m Exp #
Lift FamilyResultSig #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => FamilyResultSig -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => FamilyResultSig -> Code m FamilyResultSig #
Lift Fixity #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Fixity -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Fixity -> Code m Fixity #
Lift FixityDirection #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => FixityDirection -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => FixityDirection -> Code m FixityDirection #
Lift Foreign #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Foreign -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Foreign -> Code m Foreign #
Lift FunDep #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => FunDep -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => FunDep -> Code m FunDep #
Lift Guard #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Guard -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Guard -> Code m Guard #
Lift Info #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Info -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Info -> Code m Info #
Lift InjectivityAnn #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => InjectivityAnn -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => InjectivityAnn -> Code m InjectivityAnn #
Lift Inline #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Inline -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Inline -> Code m Inline #
Lift Lit #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Lit -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Lit -> Code m Lit #
Lift Loc #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Loc -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Loc -> Code m Loc #
Lift Match #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Match -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Match -> Code m Match #
Lift ModName #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => ModName -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ModName -> Code m ModName #
Lift Module #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Module -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Module -> Code m Module #
Lift Name #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Name -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Name -> Code m Name #
Lift NameFlavour #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => NameFlavour -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => NameFlavour -> Code m NameFlavour #
Lift NameIs #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => NameIs -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => NameIs -> Code m NameIs #
Lift NameSpace #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => NameSpace -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => NameSpace -> Code m NameSpace #
Lift NamespaceSpecifier #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => NamespaceSpecifier -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => NamespaceSpecifier -> Code m NamespaceSpecifier #
Lift OccName #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => OccName -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => OccName -> Code m OccName #
Lift Overlap #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Overlap -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Overlap -> Code m Overlap #
Lift Pat #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Pat -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Pat -> Code m Pat #
Lift PatSynArgs #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => PatSynArgs -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => PatSynArgs -> Code m PatSynArgs #
Lift PatSynDir #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => PatSynDir -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => PatSynDir -> Code m PatSynDir #
Lift Phases #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Phases -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Phases -> Code m Phases #
Lift PkgName #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => PkgName -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => PkgName -> Code m PkgName #
Lift Pragma #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Pragma -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Pragma -> Code m Pragma #
Lift Range #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Range -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Range -> Code m Range #
Lift Role #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Role -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Role -> Code m Role #
Lift RuleBndr #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => RuleBndr -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => RuleBndr -> Code m RuleBndr #
Lift RuleMatch #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => RuleMatch -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => RuleMatch -> Code m RuleMatch #
Lift Safety #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Safety -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Safety -> Code m Safety #
Lift SourceStrictness #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => SourceStrictness -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SourceStrictness -> Code m SourceStrictness #
Lift SourceUnpackedness #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => SourceUnpackedness -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SourceUnpackedness -> Code m SourceUnpackedness #
Lift Specificity #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Specificity -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Specificity -> Code m Specificity #
Lift Stmt #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Stmt -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Stmt -> Code m Stmt #
Lift TyLit #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => TyLit -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => TyLit -> Code m TyLit #
Lift TySynEqn #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => TySynEqn -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => TySynEqn -> Code m TySynEqn #
Lift Type #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Type -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Type -> Code m Type #
Lift TypeFamilyHead #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => TypeFamilyHead -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => TypeFamilyHead -> Code m TypeFamilyHead #
Lift Word16 #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Word16 -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Word16 -> Code m Word16 #
Lift Word32 #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Word32 -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Word32 -> Code m Word32 #
Lift Word64 #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Word64 -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Word64 -> Code m Word64 #
Lift Word8 #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Word8 -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Word8 -> Code m Word8 #
Lift Integer #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Integer -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Integer -> Code m Integer #
Lift Natural #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Natural -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Natural -> Code m Natural #
Lift () #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => () -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => () -> Code m () #
Lift Bool #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Bool -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Bool -> Code m Bool #
Lift Char #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Char -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Char -> Code m Char #
Lift Double #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Double -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Double -> Code m Double #
Lift Float #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Float -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Float -> Code m Float #
Lift Int #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Int -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Int -> Code m Int #
Lift Word #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Word -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Word -> Code m Word #
Lift Char# #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Char# -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Char# -> Code m Char# #
Lift Word# #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Word# -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Word# -> Code m Word# #
Lift (# #) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (# #) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (# #) -> Code m (# #) #
Lift a => Lift (NonEmpty a :: Type) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => NonEmpty a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => NonEmpty a -> Code m (NonEmpty a) #
Integral a => Lift (Ratio a :: Type) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Ratio a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Ratio a -> Code m (Ratio a) #
Lift a => Lift (TyVarBndr a :: Type) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => TyVarBndr a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => TyVarBndr a -> Code m (TyVarBndr a) #
Lift a => Lift (Maybe a :: Type) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Maybe a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Maybe a -> Code m (Maybe a) #
Lift a => Lift ([a] :: Type) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => [a] -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => [a] -> Code m [a] #
Lift (Fixed a :: Type) #
Instance details Defined in Data.Fixed Methods lift :: Quote m => Fixed a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Fixed a -> Code m (Fixed a) #
(Lift a, Lift b) => Lift (Either a b :: Type) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Either a b -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Either a b -> Code m (Either a b) #
Lift (TExp a :: Type) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => TExp a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => TExp a -> Code m (TExp a) #
(Lift a, Lift b) => Lift ((a, b) :: Type) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (a, b) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (a, b) -> Code m (a, b) #
(Lift a, Lift b, Lift c) => Lift ((a, b, c) :: Type) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (a, b, c) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (a, b, c) -> Code m (a, b, c) #
(Lift a, Lift b, Lift c, Lift d) => Lift ((a, b, c, d) :: Type) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (a, b, c, d) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (a, b, c, d) -> Code m (a, b, c, d) #
(Lift a, Lift b, Lift c, Lift d, Lift e) => Lift ((a, b, c, d, e) :: Type) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (a, b, c, d, e) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (a, b, c, d, e) -> Code m (a, b, c, d, e) #
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f) => Lift ((a, b, c, d, e, f) :: Type) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (a, b, c, d, e, f) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (a, b, c, d, e, f) -> Code m (a, b, c, d, e, f) #
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g) => Lift ((a, b, c, d, e, f, g) :: Type) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (a, b, c, d, e, f, g) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (a, b, c, d, e, f, g) -> Code m (a, b, c, d, e, f, g) #
Lift a => Lift ((# a #) :: TYPE ('TupleRep '[LiftedRep])) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (# a #) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (# a #) -> Code m (# a #) #
(Lift a, Lift b) => Lift ((# a \| b #) :: TYPE ('SumRep '[LiftedRep, LiftedRep])) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (# a \| b #) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (# a \| b #) -> Code m (# a \| b #) #
(Lift a, Lift b) => Lift ((# a, b #) :: TYPE ('TupleRep '[LiftedRep, LiftedRep])) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (# a, b #) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (# a, b #) -> Code m (# a, b #) #
(Lift a, Lift b, Lift c) => Lift ((# a \| b \| c #) :: TYPE ('SumRep '[LiftedRep, LiftedRep, LiftedRep])) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (# a \| b \| c #) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (# a \| b \| c #) -> Code m (# a \| b \| c #) #
(Lift a, Lift b, Lift c) => Lift ((# a, b, c #) :: TYPE ('TupleRep '[LiftedRep, LiftedRep, LiftedRep])) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (# a, b, c #) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (# a, b, c #) -> Code m (# a, b, c #) #
(Lift a, Lift b, Lift c, Lift d) => Lift ((# a \| b \| c \| d #) :: TYPE ('SumRep '[LiftedRep, LiftedRep, LiftedRep, LiftedRep])) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (# a \| b \| c \| d #) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (# a \| b \| c \| d #) -> Code m (# a \| b \| c \| d #) #
(Lift a, Lift b, Lift c, Lift d) => Lift ((# a, b, c, d #) :: TYPE ('TupleRep '[LiftedRep, LiftedRep, LiftedRep, LiftedRep])) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (# a, b, c, d #) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (# a, b, c, d #) -> Code m (# a, b, c, d #) #
(Lift a, Lift b, Lift c, Lift d, Lift e) => Lift ((# a \| b \| c \| d \| e #) :: TYPE ('SumRep '[LiftedRep, LiftedRep, LiftedRep, LiftedRep, LiftedRep])) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (# a \| b \| c \| d \| e #) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (# a \| b \| c \| d \| e #) -> Code m (# a \| b \| c \| d \| e #) #
(Lift a, Lift b, Lift c, Lift d, Lift e) => Lift ((# a, b, c, d, e #) :: TYPE ('TupleRep '[LiftedRep, LiftedRep, LiftedRep, LiftedRep, LiftedRep])) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (# a, b, c, d, e #) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (# a, b, c, d, e #) -> Code m (# a, b, c, d, e #) #
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f) => Lift ((# a \| b \| c \| d \| e \| f #) :: TYPE ('SumRep '[LiftedRep, LiftedRep, LiftedRep, LiftedRep, LiftedRep, LiftedRep])) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (# a \| b \| c \| d \| e \| f #) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (# a \| b \| c \| d \| e \| f #) -> Code m (# a \| b \| c \| d \| e \| f #) #
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f) => Lift ((# a, b, c, d, e, f #) :: TYPE ('TupleRep '[LiftedRep, LiftedRep, LiftedRep, LiftedRep, LiftedRep, LiftedRep])) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (# a, b, c, d, e, f #) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (# a, b, c, d, e, f #) -> Code m (# a, b, c, d, e, f #) #
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g) => Lift ((# a \| b \| c \| d \| e \| f \| g #) :: TYPE ('SumRep '[LiftedRep, LiftedRep, LiftedRep, LiftedRep, LiftedRep, LiftedRep, LiftedRep])) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (# a \| b \| c \| d \| e \| f \| g #) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (# a \| b \| c \| d \| e \| f \| g #) -> Code m (# a \| b \| c \| d \| e \| f \| g #) #
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g) => Lift ((# a, b, c, d, e, f, g #) :: TYPE ('TupleRep '[LiftedRep, LiftedRep, LiftedRep, LiftedRep, LiftedRep, LiftedRep, LiftedRep])) #
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => (# a, b, c, d, e, f, g #) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (# a, b, c, d, e, f, g #) -> Code m (# a, b, c, d, e, f, g #) #

data Q a #

Instances

Instances details

Applicative Q #
Instance details Defined in GHC.Internal.TH.Syntax Methods pure :: a -> Q a (<>) :: Q (a -> b) -> Q a -> Q b liftA2 :: (a -> b -> c) -> Q a -> Q b -> Q c (>) :: Q a -> Q b -> Q b (<*) :: Q a -> Q b -> Q a
Functor Q #
Instance details Defined in GHC.Internal.TH.Syntax Methods fmap :: (a -> b) -> Q a -> Q b (<$) :: a -> Q b -> Q a
Monad Q #
Instance details Defined in GHC.Internal.TH.Syntax Methods (>>=) :: Q a -> (a -> Q b) -> Q b (>>) :: Q a -> Q b -> Q b return :: a -> Q a
MonadFail Q #
Instance details Defined in GHC.Internal.TH.Syntax Methods fail :: String -> Q a
MonadFix Q #
Instance details Defined in GHC.Internal.TH.Syntax Methods mfix :: (a -> Q a) -> Q a
MonadIO Q #
Instance details Defined in GHC.Internal.TH.Syntax Methods liftIO :: IO a -> Q a
Quasi Q #
Instance details Defined in GHC.Internal.TH.Syntax Methods qNewName :: String -> Q Name qReport :: Bool -> String -> Q () qRecover :: Q a -> Q a -> Q a qLookupName :: Bool -> String -> Q (Maybe Name) qReify :: Name -> Q Info qReifyFixity :: Name -> Q (Maybe Fixity) qReifyType :: Name -> Q Type qReifyInstances :: Name -> [Type] -> Q [Dec] qReifyRoles :: Name -> Q [Role] qReifyAnnotations :: Data a => AnnLookup -> Q [a] qReifyModule :: Module -> Q ModuleInfo qReifyConStrictness :: Name -> Q [DecidedStrictness] qLocation :: Q Loc qRunIO :: IO a -> Q a qGetPackageRoot :: Q FilePath qAddDependentFile :: FilePath -> Q () qAddTempFile :: String -> Q FilePath qAddTopDecls :: [Dec] -> Q () qAddForeignFilePath :: ForeignSrcLang -> String -> Q () qAddModFinalizer :: Q () -> Q () qAddCorePlugin :: String -> Q () qGetQ :: Typeable a => Q (Maybe a) qPutQ :: Typeable a => a -> Q () qIsExtEnabled :: Extension -> Q Bool qExtsEnabled :: Q [Extension] qPutDoc :: DocLoc -> String -> Q () qGetDoc :: DocLoc -> Q (Maybe String)
Quote Q #
Instance details Defined in GHC.Internal.TH.Syntax Methods newName :: String -> Q Name
Monoid a => Monoid (Q a) #
Instance details Defined in GHC.Internal.TH.Syntax Methods mempty :: Q a mappend :: Q a -> Q a -> Q a mconcat :: [Q a] -> Q a
Semigroup a => Semigroup (Q a) #
Instance details Defined in GHC.Internal.TH.Syntax Methods (<>) :: Q a -> Q a -> Q a sconcat :: NonEmpty (Q a) -> Q a stimes :: Integral b => b -> Q a -> Q a

data Code (m :: Type -> Type) (a :: TYPE r) #

class Monad m => Quote (m :: Type -> Type) #

Minimal complete definition

newName

Instances

Instances details

Quote Q #
Instance details Defined in GHC.Internal.TH.Syntax Methods newName :: String -> Q Name
Quote IO #
Instance details Defined in GHC.Internal.TH.Syntax Methods newName :: String -> IO Name

data Exp #

Instances

Instances details

Data Exp #

Instance details

Defined in GHC.Internal.TH.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Exp -> c Exp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Exp

toConstr :: Exp -> Constr

dataTypeOf :: Exp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Exp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Exp)

gmapT :: (forall b. Data b => b -> b) -> Exp -> Exp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Exp -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Exp -> r

gmapQ :: (forall d. Data d => d -> u) -> Exp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Exp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Exp -> m Exp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Exp -> m Exp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Exp -> m Exp

Generic Exp #

Instance details

Defined in GHC.Internal.TH.Syntax

Associated Types

type Rep Exp

Instance details

Defined in GHC.Internal.TH.Syntax

type Rep Exp = D1 ('MetaData "Exp" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (((((C1 ('MetaCons "VarE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: C1 ('MetaCons "ConE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) :+: (C1 ('MetaCons "LitE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lit)) :+: C1 ('MetaCons "AppE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)))) :+: ((C1 ('MetaCons "AppTypeE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: C1 ('MetaCons "InfixE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Exp)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Exp))))) :+: (C1 ('MetaCons "UInfixE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) :+: (C1 ('MetaCons "ParensE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: C1 ('MetaCons "LamE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Pat]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)))))) :+: (((C1 ('MetaCons "LamCaseE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Match])) :+: C1 ('MetaCons "LamCasesE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Clause]))) :+: (C1 ('MetaCons "TupE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Maybe Exp])) :+: (C1 ('MetaCons "UnboxedTupE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Maybe Exp])) :+: C1 ('MetaCons "UnboxedSumE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SumAlt) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SumArity)))))) :+: ((C1 ('MetaCons "CondE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) :+: C1 ('MetaCons "MultiIfE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Guard, Exp)]))) :+: (C1 ('MetaCons "LetE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Dec]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: (C1 ('MetaCons "CaseE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Match])) :+: C1 ('MetaCons "DoE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModName)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]))))))) :+: ((((C1 ('MetaCons "MDoE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModName)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt])) :+: C1 ('MetaCons "CompE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]))) :+: (C1 ('MetaCons "ArithSeqE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)) :+: C1 ('MetaCons "ListE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Exp])))) :+: ((C1 ('MetaCons "SigE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: C1 ('MetaCons "RecConE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FieldExp]))) :+: (C1 ('MetaCons "RecUpdE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FieldExp])) :+: (C1 ('MetaCons "StaticE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: C1 ('MetaCons "UnboundVarE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)))))) :+: (((C1 ('MetaCons "LabelE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "ImplicitParamVarE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "GetFieldE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "ProjectionE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty String))) :+: C1 ('MetaCons "TypedBracketE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))))) :+: ((C1 ('MetaCons "TypedSpliceE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: C1 ('MetaCons "TypeE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) :+: (C1 ('MetaCons "ForallE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr Specificity]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: (C1 ('MetaCons "ForallVisE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr ()]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: C1 ('MetaCons "ConstrainedE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Exp]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))))))))

Methods

from :: Exp -> Rep Exp x

to :: Rep Exp x -> Exp

Show Exp #

Instance details

Defined in GHC.Internal.TH.Syntax

Methods

showsPrec :: Int -> Exp -> ShowS

show :: Exp -> String

showList :: [Exp] -> ShowS

Eq Exp #

Instance details

Defined in GHC.Internal.TH.Syntax

Methods

(==) :: Exp -> Exp -> Bool

(/=) :: Exp -> Exp -> Bool

Ord Exp #

Instance details

Defined in GHC.Internal.TH.Syntax

Methods

compare :: Exp -> Exp -> Ordering

(<) :: Exp -> Exp -> Bool

(<=) :: Exp -> Exp -> Bool

(>) :: Exp -> Exp -> Bool

(>=) :: Exp -> Exp -> Bool

max :: Exp -> Exp -> Exp

min :: Exp -> Exp -> Exp

Lift Exp #

Instance details

Defined in GHC.Internal.TH.Lift

Methods

lift :: Quote m => Exp -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Exp -> Code m Exp #

type Rep Exp #

Instance details

Defined in GHC.Internal.TH.Syntax

type Rep Exp = D1 ('MetaData "Exp" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (((((C1 ('MetaCons "VarE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: C1 ('MetaCons "ConE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) :+: (C1 ('MetaCons "LitE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lit)) :+: C1 ('MetaCons "AppE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)))) :+: ((C1 ('MetaCons "AppTypeE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: C1 ('MetaCons "InfixE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Exp)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Exp))))) :+: (C1 ('MetaCons "UInfixE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) :+: (C1 ('MetaCons "ParensE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: C1 ('MetaCons "LamE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Pat]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)))))) :+: (((C1 ('MetaCons "LamCaseE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Match])) :+: C1 ('MetaCons "LamCasesE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Clause]))) :+: (C1 ('MetaCons "TupE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Maybe Exp])) :+: (C1 ('MetaCons "UnboxedTupE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Maybe Exp])) :+: C1 ('MetaCons "UnboxedSumE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SumAlt) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SumArity)))))) :+: ((C1 ('MetaCons "CondE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) :+: C1 ('MetaCons "MultiIfE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Guard, Exp)]))) :+: (C1 ('MetaCons "LetE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Dec]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: (C1 ('MetaCons "CaseE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Match])) :+: C1 ('MetaCons "DoE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModName)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]))))))) :+: ((((C1 ('MetaCons "MDoE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModName)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt])) :+: C1 ('MetaCons "CompE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]))) :+: (C1 ('MetaCons "ArithSeqE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)) :+: C1 ('MetaCons "ListE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Exp])))) :+: ((C1 ('MetaCons "SigE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: C1 ('MetaCons "RecConE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FieldExp]))) :+: (C1 ('MetaCons "RecUpdE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FieldExp])) :+: (C1 ('MetaCons "StaticE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: C1 ('MetaCons "UnboundVarE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)))))) :+: (((C1 ('MetaCons "LabelE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "ImplicitParamVarE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "GetFieldE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "ProjectionE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty String))) :+: C1 ('MetaCons "TypedBracketE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))))) :+: ((C1 ('MetaCons "TypedSpliceE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: C1 ('MetaCons "TypeE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) :+: (C1 ('MetaCons "ForallE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr Specificity]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: (C1 ('MetaCons "ForallVisE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr ()]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: C1 ('MetaCons "ConstrainedE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Exp]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))))))))

Compatibilty shims

defaultLiftTyped :: forall a (m :: Type -> Type). (Lift a, Quote m) => a -> Code m a Source #

Convert an implementation of lift into one for liftTyped.

liftAddrCompat :: Quote m => ForeignPtr Word8 -> Word -> Word -> m Exp Source #

A compatibility shim for lifting an Addr# value.

liftIntCompat :: Quote m => Integer -> m Exp Source #

A compatibility shim for lifting an Int value without triggering bugs if RebindableSyntax is used in a module.