| ... |
... |
@@ -112,18 +112,29 @@ module GHC.KnownKeyNames |
|
112
|
112
|
, integerComplement, integerBit#, integerTestBit#, integerShiftL#, integerShiftR#
|
|
113
|
113
|
|
|
114
|
114
|
-- Template Haskell
|
|
115
|
|
- , Q, Name, FieldExp, Dec, Decs, TH.Type, FunDep
|
|
|
115
|
+ , Q, Name, FieldExp, Decs, TH.Type, FunDep
|
|
116
|
116
|
, Pred, Code, InjectivityAnn, Overlap, ModName, QuasiQuoter
|
|
117
|
117
|
, sequenceQ, newName, mkName, mkNameG_v, mkNameG_d, mkNameG_tc, mkNameG_fld, mkNameL
|
|
118
|
118
|
, mkNameQ, mkNameS, mkModName, unType, unTypeCode, unsafeCodeCoerce
|
|
119
|
119
|
, lift, liftString, liftTyped
|
|
|
120
|
+ , Dec, funD, valD, dataD, newtypeD, typeDataD, tySynD, classD, instanceWithOverlapD
|
|
|
121
|
+ , standaloneDerivWithStrategyD, sigD, kiSigD, defaultD, defaultSigD, forImpD
|
|
|
122
|
+ , pragInlD, pragOpaqueD
|
|
|
123
|
+-- ToDo: why are these two out of scope??
|
|
|
124
|
+-- , pragSpecD, pragSpecInlD
|
|
|
125
|
+-- End of ToDo
|
|
|
126
|
+ , pragSpecED, pragSpecInlED
|
|
|
127
|
+ , pragSpecInstD, pragRuleD, pragCompleteD, pragAnnD, pragSCCFunD
|
|
|
128
|
+ , pragSCCFunNamedD, dataInstD, newtypeInstD, tySynInstD, openTypeFamilyD
|
|
|
129
|
+ , closedTypeFamilyD, dataFamilyD, infixLWithSpecD, infixRWithSpecD, roleAnnotD
|
|
|
130
|
+ , patSynD, patSynSigD, implicitParamBindD
|
|
120
|
131
|
, Lit, charL, stringL, integerL, intPrimL, wordPrimL, floatPrimL
|
|
121
|
132
|
, doublePrimL, rationalL, stringPrimL, charPrimL
|
|
122
|
133
|
, Pat, litP, varP, tupP, unboxedTupP, unboxedSumP, conP, infixP, tildeP
|
|
123
|
134
|
, bangP, asP, wildP, recP, listP, sigP, viewP, orP, typeP, invisP
|
|
124
|
135
|
, Exp, varE, conE, litE, appE, appTypeE, infixE, infixApp, sectionL, sectionR
|
|
125
|
|
- , lamE, lamCaseE, lamCasesE, tupE, unboxedTupE, unboxedSumE, condE
|
|
126
|
|
- , multiIfE, letE, caseE, doE, mdoE, compE, fromE, fromThenE, fromToE, fromThenToE
|
|
|
136
|
+ , lamE, lamCaseE, lamCasesE, tupE, unboxedTupE, unboxedSumE, condE, multiIfE
|
|
|
137
|
+ , letE, caseE, doE, mdoE, compE, fromE, fromThenE, fromToE, fromThenToE
|
|
127
|
138
|
, listE, sigE, recConE, recUpdE, staticE, unboundVarE, labelE, implicitParamVarE
|
|
128
|
139
|
, getFieldE, projectionE, typeE, forallE, forallVisE, constrainedE
|
|
129
|
140
|
, FieldExp, fieldExp
|