Language.Haskell.TH.Lib

Type synonyms

type InfoQ

type PatQ

type FieldPatQ

type ExpQ

type TExpQ a

type DecQ

type DecsQ

type ConQ

type TypeQ

type TyLitQ

type CxtQ

type PredQ

type MatchQ

type ClauseQ

type BodyQ

type GuardQ

type StmtQ

type RangeQ

type SourceStrictnessQ

type SourceUnpackednessQ

type BangQ

type BangTypeQ

type VarBangTypeQ

type StrictTypeQ

type VarStrictTypeQ

type FieldExpQ

type RuleBndrQ

type TySynEqnQ

type Role

type InjectivityAnn

Lowercase pattern syntax functions

intPrimL

wordPrimL

floatPrimL

doublePrimL

integerL

charL

charPrimL

stringL

stringPrimL

rationalL

litP

varP

tupP

unboxedTupP

conP

infixP

uInfixP

parensP

tildeP

bangP

asP

wildP

recP

listP

sigP

viewP

fieldPat

Stmt

bindS

letS

noBindS

parS

Range

fromR

fromThenR

fromToR

fromThenToR

Body

normalB

guardedB

Guard

normalG

normalGE

patG

patGE

Match and Clause

match

clause

Exp

dyn

varE

conE

litE

appE

parensE

uInfixE

infixE

infixApp

sectionL

sectionR

lamE

lam1E

lamCaseE

tupE

unboxedTupE

condE

multiIfE

letE

caseE

doE

compE

arithSeqE

listE

sigE

recConE

recUpdE

stringE

fieldExp

staticE

unboundVarE

arithSeqE Shortcuts

fromE

fromThenE

fromToE

fromThenToE

Dec

valD

funD

tySynD

dataD

newtypeD

classD

instanceD

instanceWithOverlapD

sigD

forImpD

infixLD

infixRD

infixND

pragInlD

pragSpecD

pragSpecInlD

pragSpecInstD

pragRuleD

pragAnnD

pragLineD

dataInstD

newtypeInstD

tySynInstD

dataFamilyD

openTypeFamilyD

closedTypeFamilyD

familyNoKindD

familyKindD

closedTypeFamilyNoKindD

closedTypeFamilyKindD

roleAnnotD

standaloneDerivD

defaultSigD

tySynEqn

cxt

normalC

recC

infixC

forallC

gadtC

recGadtC

Type

forallT

varT

conT

infixT

uInfixT

parensT

appT

arrowT

listT

litT

tupleT

unboxedTupleT

sigT

equalityT

wildCardT

classP

equalP

promotedT

promotedTupleT

promotedNilT

promotedConsT

noSourceUnpackedness

sourceNoUnpack

sourceUnpack

noSourceStrictness

sourceLazy

sourceStrict

isStrict

notStrict

unpacked

bang

bangType

varBangType

strictType

varStrictType

Type Literals

numTyLit

strTyLit

Kind

plainTV

kindedTV

varK

conK

tupleK

arrowK

listK

appK

starK

constraintK

Type family result

noSig

kindSig

tyVarSig

Injectivity annotation

injectivityAnn

Role

nominalR

representationalR

phantomR

inferR

Callconv

cCall

stdCall

cApi

prim

javaScript

Safety

unsafe

safe

interruptible

FunDep

funDep

FamFlavour

typeFam

dataFam

RuleBndr

ruleVar

typedRuleVar

AnnTarget

valueAnnotation

typeAnnotation

moduleAnnotation

Useful helper function

appsE

thisModule