Language.Haskell.TH.Build

class Convertible a b

Autoconverting wrappers around Language.Haskell.TH.Lib functions

appE'

appK'

appT'

appsE'

arithSeqE'

asP'

bangP'

bindS'

caseE'

classD'

classP'

clause'

closedTypeFamilyKindD'

closedTypeFamilyNoKindD'

compE'

conE'

conK'

conP'

conT'

condE'

cxt'

dataD'

dataInstD'

doE'

dyn'

equalP'

familyKindD'

familyNoKindD'

fieldExp'

fieldPat'

forImpD'

forallC'

forallT'

fromE'

fromR'

fromThenE'

fromThenR'

fromThenToE'

fromThenToR'

fromToE'

fromToR'

funD'

funDep'

guardedB'

infixApp'

infixC'

infixE'

infixLD'

infixND'

infixP'

infixRD'

instanceD'

kindedTV'

lam1E'

lamCaseE'

lamE'

letE'

letS'

listE'

listP'

litE'

litP'

litT'

match'

multiIfE'

newtypeD'

newtypeInstD'

noBindS'

normalB'

normalC'

normalG'

normalGE'

numTyLit'

parS'

parensE'

parensP'

patG'

patGE'

plainTV'

pragAnnD'

pragInlD'

pragRuleD'

pragSpecD'

pragSpecInlD'

pragSpecInstD'

promotedT'

promotedTupleT'

recC'

recConE'

recP'

recUpdE'

roleAnnotD'

ruleVar'

sectionL'

sectionR'

sigD'

sigE'

sigP'

sigT'

strTyLit'

strictType'

tildeP'

tupE'

tupP'

tupleK'

tySynD'

tySynEqn'

tySynInstD'

typedRuleVar'

uInfixE'

uInfixP'

unboxedTupE'

unboxedTupP'

valD'

varE'

varK'

varP'

varStrictType'

varT'

viewP'

Additional builder functions

getFieldE

htuple'

Sugar

(\->)

class Arrows a b

(-->)

class Sigs a b c

(.::)

Variants without usually-empty parameters

svalD

smatch

sclause

sdataD

snewtypeD

Type restrictions of convert

expQ

expQs

patQ

patQs

typeQ

typeQs

name

tyVarBndr

conQ

cxtQ

strictTypeQ

strictTypeQs

decsQ