Moduleghc-boot-th-10.0.0.20260917Haskell2010

GHC.Boot.TH.Lib

Synopsis

value anyclassStrategy
value appE
value appK
value appKindT
value appT
value appTypeE
value appsE
value arithSeqE
value arrowK
value arrowT
value asP
value bang
value bangP
value bangType
value bindS
value bndrInvis
value bndrReq
value bytesPrimL
value cApi
value cCall
value caseE
value charL
value charPrimL
value charTyLit
value classD
value clause
value closedTypeFamilyD
value compE
value conE
value conK
value conP
value conT
value condE
value constrainedE
value constraintK
value cxt
value dataD
value dataD_doc
value dataFamilyD
value dataInstD
value dataInstD_doc
value defaultD
value defaultSigD
value derivClause
value doE
value docCons
value doublePrimL
value dyn
value equalityT
value explBidir
value fieldExp
value fieldPat
value floatPrimL
value forImpD
value forallC
value forallE
value forallT
value forallVisE
value forallVisT
value fromE
value fromR
value fromThenE
value fromThenR
value fromThenToE
value fromThenToR
value fromToE
value fromToR
value funD
value funD_doc
value funDep
value gadtC
value getFieldE
value guardedB
value implBidir
value implicitParamBindD
value implicitParamT
value implicitParamVarE
value inferR
value inferredSpec
value infixApp
value infixC
value infixE
value infixLD
value infixLWithSpecD
value infixND
value infixNWithSpecD
value infixP
value infixPatSyn
value infixRD
value infixRWithSpecD
value infixT
value injectivityAnn
value instanceD
value instanceWithOverlapD
value intPrimL
value integerL
value interruptible
value invisP
value javaScript
value kiSigD
value kindSig
value kindedBndrTV
value kindedInvisTV
value kindedTV
value labelE
value lam1E
value lamCaseE
value lamCasesE
value lamE
value letE
value letS
value listE
value listK
value listP
value listT
value litE
value litP
value litT
value match
value mdoE
value moduleAnnotation
value mulArrowT
value multiIfE
value newtypeD
value newtypeD_doc
value newtypeInstD
value newtypeInstD_doc
value newtypeStrategy
value noBindS
value noSig
value noSourceStrictness
value noSourceUnpackedness
value nominalR
value normalB
value normalC
value normalG
value normalGE
value numTyLit
value openTypeFamilyD
value orP
value parS
value parensE
value parensP
value parensT
value patG
value patGE
value patSynD
value patSynD_doc
value patSynSigD
value phantomR
value plainBndrTV
value plainInvisTV
value plainTV
value pragAnnD
value pragCompleteD
value pragInlD
value pragLineD
value pragOpaqueD
value pragRuleD
value pragSCCFunD
value pragSCCFunNamedD
value pragSpecED
value pragSpecInlED
value pragSpecInstD
value prefixPatSyn
value prim
value projectionE
value promotedConsT
value promotedInfixT
value promotedNilT
value promotedT
value promotedTupleT
value promotedUInfixT
value rationalL
value recC
value recConE
value recGadtC
value recP
value recS
value recUpdE
value recordPatSyn
value representationalR
value roleAnnotD
value ruleVar
value safe
value sectionL
value sectionR
value sigD
value sigE
value sigP
value sigT
value sourceLazy
value sourceNoUnpack
value sourceStrict
value sourceUnpack
value specifiedSpec
value standaloneDerivD
value standaloneDerivWithStrategyD
value starK
value staticE
value stdCall
value stockStrategy
value strTyLit
value stringE
value stringL
value stringPrimL
value thisModule
value tildeP
value tupE
value tupP
value tupleK
value tupleT
value tySynD
value tySynEqn
value tySynInstD
value tyVarSig
value typeAnnotation
value typeDataD
value typeDataD_doc
value typeE
value typeP
value typedBracketE
value typedRuleVar
value typedSpliceE
value uInfixE
value uInfixP
value uInfixT
value unboundVarE
value unboxedSumE
value unboxedSumP
value unboxedSumT
value unboxedTupE
value unboxedTupP
value unboxedTupleT
value unidir
value unsafe
value valD
value valueAnnotation
value varBangType
value varE
value varK
value varP
value varT
value viaStrategy
value viewP
value wildCardT
value wildP
value withDecDoc
value withDecsDoc
value wordPrimL
type BangQ
type BangTypeQ
type BodyQ
type ClauseQ
type CodeQ
type ConQ
type CxtQ
type DecQ
type Decs
type DecsQ
type DerivClauseQ
type DerivStrategyQ
type ExpQ
type FamilyResultSigQ
type FieldExpQ
type FieldPatQ
type GuardQ
type InfoQ
type InjectivityAnn
type KindQ
type MatchQ
type PatQ
type PatSynArgsQ
type PatSynDirQ
type PredQ
type RangeQ
type Role
type RuleBndrQ
type SourceStrictnessQ
type SourceUnpackednessQ
type StmtQ
type StrictTypeQ
type TExpQ
type TyLitQ
type TySynEqnQ
type TyVarBndrSpec
type TyVarBndrUnit
type TyVarBndrVis
type TypeQ
type VarBangTypeQ
type VarStrictTypeQ

Packageghc-boot-th-10.0.0.20260917
Exports291
LanguageHaskell2010
LicenceBSD-3-Clause
SourceLib.hs

valueanyclassStrategy :: Quote m => m DerivStrategy

valueappE :: Quote m => m Exp -> m Exp -> m Exp

valueappK :: Kind -> Kind -> Kind

valueappKindT :: Quote m => m Type -> m Kind -> m Type

valueappT :: Quote m => m Type -> m Type -> m Type

valueappTypeE :: Quote m => m Exp -> m Type -> m Exp

valueappsE :: Quote m => [m Exp] -> m Exp

valuearithSeqE :: Quote m => m Range -> m Exp

valuearrowK :: Kind

valuearrowT :: Quote m => m Type

valueasP :: Quote m => Name -> m Pat -> m Pat

valuebang :: Quote m => m SourceUnpackedness -> m SourceStrictness -> m Bang

valuebangP :: Quote m => m Pat -> m Pat

valuebangType :: Quote m => m Bang -> m Type -> m BangType

valuebindS :: Quote m => m Pat -> m Exp -> m Stmt

valuebndrInvis :: BndrVis

valuebndrReq :: BndrVis

valuebytesPrimL :: Bytes -> Lit

valuecApi :: Callconv

valuecCall :: Callconv

valuecaseE :: Quote m => m Exp -> [m Match] -> m Exp

valuecharL :: Char -> Lit

valuecharPrimL :: Char -> Lit

valuecharTyLit :: Quote m => Char -> m TyLit

valueclassD

:: Quote m
=> m Cxt
-> Name
-> [m (TyVarBndr BndrVis)]
-> [FunDep]
-> [m Dec]
-> m Dec

valueclause :: Quote m => [m Pat] -> m Body -> [m Dec] -> m Clause

Source#

Use with funD

valueclosedTypeFamilyD

:: Quote m
=> Name
-> [m (TyVarBndr BndrVis)]
-> m FamilyResultSig
-> Maybe InjectivityAnn
-> [m TySynEqn]
-> m Dec

valuecompE :: Quote m => [m Stmt] -> m Exp

valueconE :: Quote m => Name -> m Exp

valueconK :: Name -> Kind

valueconP :: Quote m => Name -> [m Type] -> [m Pat] -> m Pat

valueconT :: Quote m => Name -> m Type

valuecondE :: Quote m => m Exp -> m Exp -> m Exp -> m Exp

valueconstrainedE :: Quote m => [m Exp] -> m Exp -> m Exp

valueconstraintK :: Quote m => m Kind

valuecxt :: Quote m => [m Pred] -> m Cxt

valuedataD

:: Quote m
=> m Cxt
-> Name
-> [m (TyVarBndr BndrVis)]
-> Maybe (m Kind)
-> [m Con]
-> [m DerivClause]
-> m Dec

valuedataD_doc

:: Q Cxt
-> Name
-> [Q (TyVarBndr BndrVis)]
-> Maybe (Q Kind)
-> [(Q Con, Maybe String, [Maybe String])]
List of constructors, documentation for the constructor, and documentation for the arguments
-> [Q DerivClause]
-> Maybe String
Documentation to attach to the data declaration
-> Q Dec

Source#

Variant of dataD that attaches Haddock documentation.

valuedataFamilyD

:: Quote m
=> Name
-> [m (TyVarBndr BndrVis)]
-> Maybe (m Kind)
-> m Dec

valuedataInstD

:: Quote m
=> m Cxt
-> Maybe [m (TyVarBndr ())]
-> m Type
-> Maybe (m Kind)
-> [m Con]
-> [m DerivClause]
-> m Dec

valuedataInstD_doc

:: Q Cxt
-> Maybe [Q (TyVarBndr ())]
-> Q Type
-> Maybe (Q Kind)
-> [(Q Con, Maybe String, [Maybe String])]
List of constructors, documentation for the constructor, and documentation for the arguments
-> [Q DerivClause]
-> Maybe String
Documentation to attach to the instance declaration
-> Q Dec

Source#

Variant of dataInstD that attaches Haddock documentation.

valuedefaultD :: Quote m => [m Type] -> m Dec

valuedefaultSigD :: Quote m => Name -> m Type -> m Dec

valuederivClause

:: Quote m
=> Maybe (m DerivStrategy)
-> [m Pred]
-> m DerivClause

valuedoE :: Quote m => Maybe ModName -> [m Stmt] -> m Exp

valuedocCons :: (Q Con, Maybe String, [Maybe String]) -> Q ()

Source#

Document a data/newtype constructor with its arguments.

valuedoublePrimL :: Rational -> Lit

valuedyn :: Quote m => String -> m Exp

Source#

Dynamically binding a variable (unhygienic)

valueequalityT :: Quote m => m Type

valueexplBidir :: Quote m => [m Clause] -> m PatSynDir

valuefieldExp :: Quote m => Name -> m Exp -> m (Name, Exp)

valuefieldPat :: Quote m => Name -> m Pat -> m FieldPat

valuefloatPrimL :: Rational -> Lit

valueforImpD

:: Quote m
=> Callconv
-> Safety
-> String
-> Name
-> m Type
-> m Dec

valueforallC :: Quote m => [m (TyVarBndr Specificity)] -> m Cxt -> m Con -> m Con

valueforallE :: Quote m => [m (TyVarBndr Specificity)] -> m Exp -> m Exp

valueforallT

:: Quote m
=> [m (TyVarBndr Specificity)]
-> m Cxt
-> m Type
-> m Type

valueforallVisE :: Quote m => [m (TyVarBndr ())] -> m Exp -> m Exp

valueforallVisT :: Quote m => [m (TyVarBndr ())] -> m Type -> m Type

valuefromE :: Quote m => m Exp -> m Exp

valuefromR :: Quote m => m Exp -> m Range

valuefromThenE :: Quote m => m Exp -> m Exp -> m Exp

valuefromThenR :: Quote m => m Exp -> m Exp -> m Range

valuefromThenToE :: Quote m => m Exp -> m Exp -> m Exp -> m Exp

valuefromThenToR :: Quote m => m Exp -> m Exp -> m Exp -> m Range

valuefromToE :: Quote m => m Exp -> m Exp -> m Exp

valuefromToR :: Quote m => m Exp -> m Exp -> m Range

valuefunD :: Quote m => Name -> [m Clause] -> m Dec

valuefunD_doc

:: Name
-> [Q Clause]
-> Maybe String
Documentation to attach to function
-> [Maybe String]
Documentation to attach to arguments
-> Q Dec

Source#

Variant of funD that attaches Haddock documentation.

valuefunDep :: [Name] -> [Name] -> FunDep

valuegadtC :: Quote m => [Name] -> [m StrictType] -> m Type -> m Con

valuegetFieldE :: Quote m => m Exp -> String -> m Exp

valueguardedB :: Quote m => [m (Guard, Exp)] -> m Body

valueimplBidir :: Quote m => m PatSynDir

valueimplicitParamBindD :: Quote m => String -> m Exp -> m Dec

Source#

Implicit parameter binding declaration. Can only be used in let and where clauses which consist entirely of implicit bindings.

valueimplicitParamT :: Quote m => String -> m Type -> m Type

valueimplicitParamVarE :: Quote m => String -> m Exp

valueinferR :: Role

valueinferredSpec :: Specificity

valueinfixApp :: Quote m => m Exp -> m Exp -> m Exp -> m Exp

valueinfixC :: Quote m => m (Bang, Type) -> Name -> m (Bang, Type) -> m Con

valueinfixE :: Quote m => Maybe (m Exp) -> m Exp -> Maybe (m Exp) -> m Exp

valueinfixLD :: Quote m => Int -> Name -> m Dec

valueinfixLWithSpecD :: Quote m => Int -> NamespaceSpecifier -> Name -> m Dec

valueinfixND :: Quote m => Int -> Name -> m Dec

valueinfixNWithSpecD :: Quote m => Int -> NamespaceSpecifier -> Name -> m Dec

valueinfixP :: Quote m => m Pat -> Name -> m Pat -> m Pat

valueinfixPatSyn :: Quote m => Name -> Name -> m PatSynArgs

valueinfixRD :: Quote m => Int -> Name -> m Dec

valueinfixRWithSpecD :: Quote m => Int -> NamespaceSpecifier -> Name -> m Dec

valueinfixT :: Quote m => m Type -> Name -> m Type -> m Type

valueinjectivityAnn :: Name -> [Name] -> InjectivityAnn

valueinstanceD :: Quote m => m Cxt -> m Type -> [m Dec] -> m Dec

valueinstanceWithOverlapD

:: Quote m
=> Maybe Overlap
-> m Cxt
-> m Type
-> [m Dec]
-> m Dec

valueintPrimL :: Integer -> Lit

valueintegerL :: Integer -> Lit

valueinterruptible :: Safety

valueinvisP :: Quote m => m Type -> m Pat

valuejavaScript :: Callconv

valuekiSigD :: Quote m => Name -> m Kind -> m Dec

valuekindSig :: Quote m => m Kind -> m FamilyResultSig

valuekindedBndrTV

:: Quote m
=> Name
-> BndrVis
-> m Kind
-> m (TyVarBndr BndrVis)

valuekindedInvisTV

:: Quote m
=> Name
-> Specificity
-> m Kind
-> m (TyVarBndr Specificity)

valuekindedTV :: Quote m => Name -> m Kind -> m (TyVarBndr ())

valuelabelE :: Quote m => String -> m Exp

valuelam1E :: Quote m => m Pat -> m Exp -> m Exp

Source#

Single-arg lambda

valuelamCaseE :: Quote m => [m Match] -> m Exp

Source#

Lambda-case (case)

valuelamCasesE :: Quote m => [m Clause] -> m Exp

Source#

Lambda-cases (cases)

valuelamE :: Quote m => [m Pat] -> m Exp -> m Exp

valueletE :: Quote m => [m Dec] -> m Exp -> m Exp

valueletS :: Quote m => [m Dec] -> m Stmt

valuelistE :: Quote m => [m Exp] -> m Exp

valuelistK :: Kind

valuelistP :: Quote m => [m Pat] -> m Pat

valuelistT :: Quote m => m Type

valuelitE :: Quote m => Lit -> m Exp

valuelitP :: Quote m => Lit -> m Pat

valuelitT :: Quote m => m TyLit -> m Type

valuematch :: Quote m => m Pat -> m Body -> [m Dec] -> m Match

Source#

Use with caseE

valuemdoE :: Quote m => Maybe ModName -> [m Stmt] -> m Exp

valuemoduleAnnotation :: AnnTarget

valuemulArrowT :: Quote m => m Type

valuemultiIfE :: Quote m => [m (Guard, Exp)] -> m Exp

valuenewtypeD

:: Quote m
=> m Cxt
-> Name
-> [m (TyVarBndr BndrVis)]
-> Maybe (m Kind)
-> m Con
-> [m DerivClause]
-> m Dec

valuenewtypeD_doc

:: Q Cxt
-> Name
-> [Q (TyVarBndr BndrVis)]
-> Maybe (Q Kind)
-> (Q Con, Maybe String, [Maybe String])
The constructor, documentation for the constructor, and documentation for the arguments
-> [Q DerivClause]
-> Maybe String
Documentation to attach to the newtype declaration
-> Q Dec

Source#

Variant of newtypeD that attaches Haddock documentation.

valuenewtypeInstD

:: Quote m
=> m Cxt
-> Maybe [m (TyVarBndr ())]
-> m Type
-> Maybe (m Kind)
-> m Con
-> [m DerivClause]
-> m Dec

valuenewtypeInstD_doc

:: Q Cxt
-> Maybe [Q (TyVarBndr ())]
-> Q Type
-> Maybe (Q Kind)
-> (Q Con, Maybe String, [Maybe String])
The constructor, documentation for the constructor, and documentation for the arguments
-> [Q DerivClause]
-> Maybe String
Documentation to attach to the instance declaration
-> Q Dec

Source#

Variant of newtypeInstD that attaches Haddock documentation.

valuenewtypeStrategy :: Quote m => m DerivStrategy

valuenoBindS :: Quote m => m Exp -> m Stmt

valuenoSig :: Quote m => m FamilyResultSig

valuenoSourceStrictness :: Quote m => m SourceStrictness

valuenoSourceUnpackedness :: Quote m => m SourceUnpackedness

valuenominalR :: Role

valuenormalB :: Quote m => m Exp -> m Body

valuenormalC :: Quote m => Name -> [m BangType] -> m Con

valuenormalG :: Quote m => m Exp -> m Guard

valuenormalGE :: Quote m => m Exp -> m Exp -> m (Guard, Exp)

valuenumTyLit :: Quote m => Integer -> m TyLit

valueopenTypeFamilyD

:: Quote m
=> Name
-> [m (TyVarBndr BndrVis)]
-> m FamilyResultSig
-> Maybe InjectivityAnn
-> m Dec

valueorP :: Quote m => NonEmpty (m Pat) -> m Pat

valueparS :: Quote m => [[m Stmt]] -> m Stmt

valueparensE :: Quote m => m Exp -> m Exp

valueparensP :: Quote m => m Pat -> m Pat

valueparensT :: Quote m => m Type -> m Type

valuepatG :: Quote m => [m Stmt] -> m Guard

valuepatGE :: Quote m => [m Stmt] -> m Exp -> m (Guard, Exp)

valuepatSynD :: Quote m => Name -> m PatSynArgs -> m PatSynDir -> m Pat -> m Dec

Source#

Pattern synonym declaration

valuepatSynD_doc

:: Name
-> Q PatSynArgs
-> Q PatSynDir
-> Q Pat
-> Maybe String
Documentation to attach to the pattern synonym
-> [Maybe String]
Documentation to attach to the pattern arguments
-> Q Dec

Source#

Variant of patSynD that attaches Haddock documentation.

valuepatSynSigD :: Quote m => Name -> m Type -> m Dec

Source#

Pattern synonym type signature

valuephantomR :: Role

valueplainBndrTV :: Quote m => Name -> BndrVis -> m (TyVarBndr BndrVis)

valueplainInvisTV :: Quote m => Name -> Specificity -> m (TyVarBndr Specificity)

valueplainTV :: Quote m => Name -> m (TyVarBndr ())

valuepragAnnD :: Quote m => AnnTarget -> m Exp -> m Dec

valuepragCompleteD :: Quote m => [Name] -> Maybe Name -> m Dec

valuepragInlD :: Quote m => Name -> Inline -> RuleMatch -> Phases -> m Dec

valuepragLineD :: Quote m => Int -> String -> m Dec

valuepragOpaqueD :: Quote m => Name -> m Dec

valuepragRuleD

:: Quote m
=> String
-> Maybe [m (TyVarBndr ())]
-> [m RuleBndr]
-> m Exp
-> m Exp
-> Phases
-> m Dec

valuepragSCCFunD :: Quote m => Name -> m Dec

valuepragSCCFunNamedD :: Quote m => Name -> String -> m Dec

valuepragSpecED

:: Quote m
=> Maybe [m (TyVarBndr ())]
-> [m RuleBndr]
-> m Exp
-> Phases
-> m Dec

valuepragSpecInlED

:: Quote m
=> Maybe [m (TyVarBndr ())]
-> [m RuleBndr]
-> m Exp
-> Inline
-> Phases
-> m Dec

valuepragSpecInstD :: Quote m => m Type -> m Dec

valueprefixPatSyn :: Quote m => [Name] -> m PatSynArgs

valueprim :: Callconv

valueprojectionE :: Quote m => NonEmpty String -> m Exp

valuepromotedConsT :: Quote m => m Type

valuepromotedInfixT :: Quote m => m Type -> Name -> m Type -> m Type

valuepromotedNilT :: Quote m => m Type

valuepromotedT :: Quote m => Name -> m Type

valuepromotedTupleT :: Quote m => Int -> m Type

valuepromotedUInfixT :: Quote m => m Type -> Name -> m Type -> m Type

valuerationalL :: Rational -> Lit

valuerecC :: Quote m => Name -> [m VarBangType] -> m Con

valuerecConE :: Quote m => Name -> [m (Name, Exp)] -> m Exp

valuerecGadtC :: Quote m => [Name] -> [m VarStrictType] -> m Type -> m Con

valuerecP :: Quote m => Name -> [m FieldPat] -> m Pat

valuerecS :: Quote m => [m Stmt] -> m Stmt

valuerecUpdE :: Quote m => m Exp -> [m (Name, Exp)] -> m Exp

valuerecordPatSyn :: Quote m => [Name] -> m PatSynArgs

valuerepresentationalR :: Role

valueroleAnnotD :: Quote m => Name -> [Role] -> m Dec

valueruleVar :: Quote m => Name -> m RuleBndr

valuesafe :: Safety

valuesectionL :: Quote m => m Exp -> m Exp -> m Exp

valuesectionR :: Quote m => m Exp -> m Exp -> m Exp

valuesigD :: Quote m => Name -> m Type -> m Dec

valuesigE :: Quote m => m Exp -> m Type -> m Exp

valuesigP :: Quote m => m Pat -> m Type -> m Pat

valuesigT :: Quote m => m Type -> m Kind -> m Type

valuesourceLazy :: Quote m => m SourceStrictness

valuesourceNoUnpack :: Quote m => m SourceUnpackedness

valuesourceStrict :: Quote m => m SourceStrictness

valuesourceUnpack :: Quote m => m SourceUnpackedness

valuespecifiedSpec :: Specificity

valuestandaloneDerivD :: Quote m => m Cxt -> m Type -> m Dec

valuestandaloneDerivWithStrategyD

:: Quote m
=> Maybe (m DerivStrategy)
-> m Cxt
-> m Type
-> m Dec

valuestarK :: Quote m => m Kind

valuestaticE :: Quote m => m Exp -> m Exp

Source#

staticE x = [| static x |]

valuestdCall :: Callconv

valuestockStrategy :: Quote m => m DerivStrategy

valuestrTyLit :: Quote m => String -> m TyLit

valuestringE :: Quote m => String -> m Exp

valuestringL :: String -> Lit

valuestringPrimL :: [Word8] -> Lit

valuethisModule :: Q Module

Source#

pure the Module at the place of splicing. Can be used as an input for reifyModule.

valuetildeP :: Quote m => m Pat -> m Pat

valuetupE :: Quote m => [Maybe (m Exp)] -> m Exp

valuetupP :: Quote m => [m Pat] -> m Pat

valuetupleK :: Int -> Kind

valuetupleT :: Quote m => Int -> m Type

valuetySynD :: Quote m => Name -> [m (TyVarBndr BndrVis)] -> m Type -> m Dec

valuetySynEqn

:: Quote m
=> Maybe [m (TyVarBndr ())]
-> m Type
-> m Type
-> m TySynEqn

valuetySynInstD :: Quote m => m TySynEqn -> m Dec

valuetyVarSig :: Quote m => m (TyVarBndr ()) -> m FamilyResultSig

valuetypeAnnotation :: Name -> AnnTarget

valuetypeDataD

:: Quote m
=> Name
-> [m (TyVarBndr BndrVis)]
-> Maybe (m Kind)
-> [m Con]
-> m Dec

valuetypeDataD_doc

:: Name
-> [Q (TyVarBndr BndrVis)]
-> Maybe (Q Kind)
-> [(Q Con, Maybe String, [Maybe String])]
List of constructors, documentation for the constructor, and documentation for the arguments
-> Maybe String
Documentation to attach to the data declaration
-> Q Dec

Source#

Variant of typeDataD that attaches Haddock documentation.

valuetypeE :: Quote m => m Type -> m Exp

valuetypeP :: Quote m => m Type -> m Pat

valuetypedBracketE :: Quote m => m Exp -> m Exp

valuetypedRuleVar :: Quote m => Name -> m Type -> m RuleBndr

valuetypedSpliceE :: Quote m => m Exp -> m Exp

valueuInfixE :: Quote m => m Exp -> m Exp -> m Exp -> m Exp

valueuInfixP :: Quote m => m Pat -> Name -> m Pat -> m Pat

valueuInfixT :: Quote m => m Type -> Name -> m Type -> m Type

valueunboundVarE :: Quote m => Name -> m Exp

valueunboxedSumE :: Quote m => m Exp -> SumAlt -> SumArity -> m Exp

valueunboxedSumP :: Quote m => m Pat -> SumAlt -> SumArity -> m Pat

valueunboxedSumT :: Quote m => SumArity -> m Type

valueunboxedTupE :: Quote m => [Maybe (m Exp)] -> m Exp

valueunboxedTupP :: Quote m => [m Pat] -> m Pat

valueunboxedTupleT :: Quote m => Int -> m Type

valueunidir :: Quote m => m PatSynDir

valueunsafe :: Safety

valuevalD :: Quote m => m Pat -> m Body -> [m Dec] -> m Dec

valuevalueAnnotation :: Name -> AnnTarget

valuevarBangType :: Quote m => Name -> m BangType -> m VarBangType

valuevarE :: Quote m => Name -> m Exp

valuevarK :: Name -> Kind

valuevarP :: Quote m => Name -> m Pat

valuevarT :: Quote m => Name -> m Type

valueviaStrategy :: Quote m => m Type -> m DerivStrategy

valueviewP :: Quote m => m Exp -> m Pat -> m Pat

valuewildCardT :: Quote m => m Type

valuewildP :: Quote m => m Pat

valuewithDecDoc :: String -> Q Dec -> Q Dec

Source#

Attaches Haddock documentation to the declaration provided. Unlike putDoc, the names do not need to be in scope when calling this function so it can be used for quoted declarations and anything else currently being spliced. Not all declarations can have documentation attached to them. For those that can't, withDecDoc will return it unchanged without any side effects.

valuewithDecsDoc :: String -> Q [Dec] -> Q [Dec]

Source#

Variant of withDecDoc that applies the same documentation to multiple declarations. Useful for documenting quoted declarations.

valuewordPrimL :: Integer -> Lit

typetype BangQ = Q Bang

typetype BangTypeQ = Q BangType

typetype BodyQ = Q Body

typetype ClauseQ = Q Clause

typetype CodeQ = Code Q

typetype ConQ = Q Con

typetype CxtQ = Q Cxt

typetype DecQ = Q Dec

typetype Decs = [Dec]

typetype DecsQ = Q [Dec]

typetype DerivClauseQ = Q DerivClause

typetype DerivStrategyQ = Q DerivStrategy

typetype ExpQ = Q Exp

typetype FamilyResultSigQ = Q FamilyResultSig

typetype FieldExpQ = Q FieldExp

typetype FieldPatQ = Q FieldPat

typetype GuardQ = Q Guard

typetype InfoQ = Q Info

typetype InjectivityAnn = InjectivityAnn

typetype KindQ = Q Kind

typetype MatchQ = Q Match

typetype PatQ = Q Pat

typetype PatSynArgsQ = Q PatSynArgs

typetype PatSynDirQ = Q PatSynDir

typetype PredQ = Q Pred

typetype RangeQ = Q Range

typetype Role = Role

typetype RuleBndrQ = Q RuleBndr

typetype SourceStrictnessQ = Q SourceStrictness

typetype SourceUnpackednessQ = Q SourceUnpackedness

typetype StmtQ = Q Stmt

typetype StrictTypeQ = Q StrictType

typetype TExpQ (a :: TYPE r) = Q (TExp a)

Source#

Representation-polymorphic since template-haskell-2.17.0.0.

typetype TyLitQ = Q TyLit

typetype TySynEqnQ = Q TySynEqn

typetype TyVarBndrSpec = TyVarBndr Specificity

typetype TyVarBndrUnit = TyVarBndr ()

typetype TyVarBndrVis = TyVarBndr BndrVis

typetype TypeQ = Q Type

typetype VarBangTypeQ = Q VarBangType

typetype VarStrictTypeQ = Q VarStrictType