Safe Haskell | None |
---|---|
Language | Haskell2010 |
- * * Class keys * * *********************************************************************
- * * TyCon keys * * *********************************************************************
- * * DataCon keys * * *********************************************************************
- * * Id keys * * *********************************************************************
Synopsis
- templateHaskellNames :: [Name]
- thSyn :: Module
- thLib :: Module
- qqLib :: Module
- mkTHModule :: FastString -> Module
- libFun :: FastString -> Unique -> Name
- libTc :: FastString -> Unique -> Name
- thFun :: FastString -> Unique -> Name
- thTc :: FastString -> Unique -> Name
- thCls :: FastString -> Unique -> Name
- thCon :: FastString -> Unique -> Name
- thFld :: FastString -> FastString -> Unique -> Name
- qqFld :: FastString -> Unique -> Name
- liftClassName :: Name
- quoteClassName :: Name
- qTyConName :: Name
- nameTyConName :: Name
- fieldExpTyConName :: Name
- patTyConName :: Name
- fieldPatTyConName :: Name
- expTyConName :: Name
- decTyConName :: Name
- decsTyConName :: Name
- typeTyConName :: Name
- matchTyConName :: Name
- clauseTyConName :: Name
- funDepTyConName :: Name
- predTyConName :: Name
- codeTyConName :: Name
- injAnnTyConName :: Name
- overlapTyConName :: Name
- modNameTyConName :: Name
- returnQName :: Name
- bindQName :: Name
- sequenceQName :: Name
- newNameName :: Name
- liftName :: Name
- liftStringName :: Name
- mkNameName :: Name
- mkNameG_vName :: Name
- mkNameG_dName :: Name
- mkNameG_tcName :: Name
- mkNameG_fldName :: Name
- mkNameLName :: Name
- mkNameQName :: Name
- mkNameSName :: Name
- mkModNameName :: Name
- unTypeName :: Name
- unTypeCodeName :: Name
- unsafeCodeCoerceName :: Name
- liftTypedName :: Name
- charLName :: Name
- stringLName :: Name
- integerLName :: Name
- intPrimLName :: Name
- wordPrimLName :: Name
- floatPrimLName :: Name
- doublePrimLName :: Name
- rationalLName :: Name
- stringPrimLName :: Name
- charPrimLName :: Name
- litPName :: Name
- varPName :: Name
- tupPName :: Name
- unboxedTupPName :: Name
- unboxedSumPName :: Name
- conPName :: Name
- infixPName :: Name
- tildePName :: Name
- bangPName :: Name
- asPName :: Name
- wildPName :: Name
- recPName :: Name
- listPName :: Name
- sigPName :: Name
- viewPName :: Name
- fieldPatName :: Name
- matchName :: Name
- clauseName :: Name
- varEName :: Name
- conEName :: Name
- litEName :: Name
- appEName :: Name
- appTypeEName :: Name
- infixEName :: Name
- infixAppName :: Name
- sectionLName :: Name
- sectionRName :: Name
- lamEName :: Name
- lamCaseEName :: Name
- lamCasesEName :: Name
- tupEName :: Name
- unboxedTupEName :: Name
- unboxedSumEName :: Name
- condEName :: Name
- multiIfEName :: Name
- letEName :: Name
- caseEName :: Name
- doEName :: Name
- mdoEName :: Name
- compEName :: Name
- fromEName :: Name
- fromThenEName :: Name
- fromToEName :: Name
- fromThenToEName :: Name
- listEName :: Name
- sigEName :: Name
- recConEName :: Name
- recUpdEName :: Name
- staticEName :: Name
- unboundVarEName :: Name
- labelEName :: Name
- implicitParamVarEName :: Name
- getFieldEName :: Name
- projectionEName :: Name
- fieldExpName :: Name
- guardedBName :: Name
- normalBName :: Name
- normalGEName :: Name
- patGEName :: Name
- bindSName :: Name
- letSName :: Name
- noBindSName :: Name
- parSName :: Name
- recSName :: Name
- funDName :: Name
- valDName :: Name
- dataDName :: Name
- newtypeDName :: Name
- typeDataDName :: Name
- tySynDName :: Name
- classDName :: Name
- instanceWithOverlapDName :: Name
- standaloneDerivWithStrategyDName :: Name
- sigDName :: Name
- kiSigDName :: Name
- defaultDName :: Name
- defaultSigDName :: Name
- forImpDName :: Name
- pragInlDName :: Name
- pragOpaqueDName :: Name
- pragSpecDName :: Name
- pragSpecInlDName :: Name
- pragSpecInstDName :: Name
- pragRuleDName :: Name
- pragCompleteDName :: Name
- pragAnnDName :: Name
- dataInstDName :: Name
- newtypeInstDName :: Name
- tySynInstDName :: Name
- openTypeFamilyDName :: Name
- closedTypeFamilyDName :: Name
- dataFamilyDName :: Name
- infixLDName :: Name
- infixRDName :: Name
- infixNDName :: Name
- roleAnnotDName :: Name
- patSynDName :: Name
- patSynSigDName :: Name
- implicitParamBindDName :: Name
- cxtName :: Name
- noSourceUnpackednessName :: Name
- sourceNoUnpackName :: Name
- sourceUnpackName :: Name
- noSourceStrictnessName :: Name
- sourceLazyName :: Name
- sourceStrictName :: Name
- normalCName :: Name
- recCName :: Name
- infixCName :: Name
- forallCName :: Name
- gadtCName :: Name
- recGadtCName :: Name
- bangName :: Name
- bangTypeName :: Name
- varBangTypeName :: Name
- unidirPatSynName :: Name
- implBidirPatSynName :: Name
- explBidirPatSynName :: Name
- prefixPatSynName :: Name
- infixPatSynName :: Name
- recordPatSynName :: Name
- forallTName :: Name
- forallVisTName :: Name
- varTName :: Name
- conTName :: Name
- tupleTName :: Name
- unboxedTupleTName :: Name
- unboxedSumTName :: Name
- arrowTName :: Name
- mulArrowTName :: Name
- listTName :: Name
- appTName :: Name
- appKindTName :: Name
- sigTName :: Name
- equalityTName :: Name
- litTName :: Name
- promotedTName :: Name
- promotedTupleTName :: Name
- promotedNilTName :: Name
- promotedConsTName :: Name
- wildCardTName :: Name
- infixTName :: Name
- implicitParamTName :: Name
- numTyLitName :: Name
- strTyLitName :: Name
- charTyLitName :: Name
- plainTVName :: Name
- kindedTVName :: Name
- plainInvisTVName :: Name
- kindedInvisTVName :: Name
- plainBndrTVName :: Name
- kindedBndrTVName :: Name
- specifiedSpecName :: Name
- inferredSpecName :: Name
- bndrReqName :: Name
- bndrInvisName :: Name
- nominalRName :: Name
- representationalRName :: Name
- phantomRName :: Name
- inferRName :: Name
- starKName :: Name
- constraintKName :: Name
- noSigName :: Name
- kindSigName :: Name
- tyVarSigName :: Name
- injectivityAnnName :: Name
- cCallName :: Name
- stdCallName :: Name
- cApiCallName :: Name
- primCallName :: Name
- javaScriptCallName :: Name
- unsafeName :: Name
- safeName :: Name
- interruptibleName :: Name
- ruleVarName :: Name
- typedRuleVarName :: Name
- funDepName :: Name
- tySynEqnName :: Name
- valueAnnotationName :: Name
- typeAnnotationName :: Name
- moduleAnnotationName :: Name
- derivClauseName :: Name
- stockStrategyName :: Name
- anyclassStrategyName :: Name
- newtypeStrategyName :: Name
- viaStrategyName :: Name
- expQTyConName :: Name
- decsQTyConName :: Name
- typeQTyConName :: Name
- patQTyConName :: Name
- stmtTyConName :: Name
- conTyConName :: Name
- bangTypeTyConName :: Name
- varBangTypeTyConName :: Name
- ruleBndrTyConName :: Name
- tySynEqnTyConName :: Name
- roleTyConName :: Name
- derivClauseTyConName :: Name
- kindTyConName :: Name
- tyVarBndrUnitTyConName :: Name
- tyVarBndrSpecTyConName :: Name
- tyVarBndrVisTyConName :: Name
- derivStrategyTyConName :: Name
- quoteExpName :: Name
- quotePatName :: Name
- quoteDecName :: Name
- quoteTypeName :: Name
- noInlineDataConName :: Name
- inlineDataConName :: Name
- inlinableDataConName :: Name
- conLikeDataConName :: Name
- funLikeDataConName :: Name
- allPhasesDataConName :: Name
- fromPhaseDataConName :: Name
- beforePhaseDataConName :: Name
- overlappableDataConName :: Name
- overlappingDataConName :: Name
- overlapsDataConName :: Name
- incoherentDataConName :: Name
- liftClassKey :: Unique
- quoteClassKey :: Unique
- expTyConKey :: Unique
- matchTyConKey :: Unique
- clauseTyConKey :: Unique
- qTyConKey :: Unique
- expQTyConKey :: Unique
- patTyConKey :: Unique
- stmtTyConKey :: Unique
- conTyConKey :: Unique
- typeQTyConKey :: Unique
- typeTyConKey :: Unique
- decTyConKey :: Unique
- bangTypeTyConKey :: Unique
- varBangTypeTyConKey :: Unique
- fieldExpTyConKey :: Unique
- fieldPatTyConKey :: Unique
- nameTyConKey :: Unique
- patQTyConKey :: Unique
- funDepTyConKey :: Unique
- predTyConKey :: Unique
- predQTyConKey :: Unique
- tyVarBndrUnitTyConKey :: Unique
- decsQTyConKey :: Unique
- ruleBndrTyConKey :: Unique
- tySynEqnTyConKey :: Unique
- roleTyConKey :: Unique
- injAnnTyConKey :: Unique
- kindTyConKey :: Unique
- overlapTyConKey :: Unique
- derivClauseTyConKey :: Unique
- derivStrategyTyConKey :: Unique
- decsTyConKey :: Unique
- tyVarBndrSpecTyConKey :: Unique
- codeTyConKey :: Unique
- modNameTyConKey :: Unique
- tyVarBndrVisTyConKey :: Unique
- noInlineDataConKey :: Unique
- inlineDataConKey :: Unique
- inlinableDataConKey :: Unique
- conLikeDataConKey :: Unique
- funLikeDataConKey :: Unique
- allPhasesDataConKey :: Unique
- fromPhaseDataConKey :: Unique
- beforePhaseDataConKey :: Unique
- overlappableDataConKey :: Unique
- overlappingDataConKey :: Unique
- overlapsDataConKey :: Unique
- incoherentDataConKey :: Unique
- returnQIdKey :: Unique
- bindQIdKey :: Unique
- sequenceQIdKey :: Unique
- liftIdKey :: Unique
- newNameIdKey :: Unique
- mkNameIdKey :: Unique
- mkNameG_vIdKey :: Unique
- mkNameG_dIdKey :: Unique
- mkNameG_tcIdKey :: Unique
- mkNameLIdKey :: Unique
- mkNameSIdKey :: Unique
- unTypeIdKey :: Unique
- unTypeCodeIdKey :: Unique
- liftTypedIdKey :: Unique
- mkModNameIdKey :: Unique
- unsafeCodeCoerceIdKey :: Unique
- mkNameQIdKey :: Unique
- mkNameG_fldIdKey :: Unique
- charLIdKey :: Unique
- stringLIdKey :: Unique
- integerLIdKey :: Unique
- intPrimLIdKey :: Unique
- wordPrimLIdKey :: Unique
- floatPrimLIdKey :: Unique
- doublePrimLIdKey :: Unique
- rationalLIdKey :: Unique
- stringPrimLIdKey :: Unique
- charPrimLIdKey :: Unique
- liftStringIdKey :: Unique
- litPIdKey :: Unique
- varPIdKey :: Unique
- tupPIdKey :: Unique
- unboxedTupPIdKey :: Unique
- unboxedSumPIdKey :: Unique
- conPIdKey :: Unique
- infixPIdKey :: Unique
- tildePIdKey :: Unique
- bangPIdKey :: Unique
- asPIdKey :: Unique
- wildPIdKey :: Unique
- recPIdKey :: Unique
- listPIdKey :: Unique
- sigPIdKey :: Unique
- viewPIdKey :: Unique
- fieldPatIdKey :: Unique
- matchIdKey :: Unique
- clauseIdKey :: Unique
- varEIdKey :: Unique
- conEIdKey :: Unique
- litEIdKey :: Unique
- appEIdKey :: Unique
- appTypeEIdKey :: Unique
- infixEIdKey :: Unique
- infixAppIdKey :: Unique
- sectionLIdKey :: Unique
- sectionRIdKey :: Unique
- lamEIdKey :: Unique
- lamCaseEIdKey :: Unique
- lamCasesEIdKey :: Unique
- tupEIdKey :: Unique
- unboxedTupEIdKey :: Unique
- unboxedSumEIdKey :: Unique
- condEIdKey :: Unique
- multiIfEIdKey :: Unique
- letEIdKey :: Unique
- caseEIdKey :: Unique
- doEIdKey :: Unique
- compEIdKey :: Unique
- fromEIdKey :: Unique
- fromThenEIdKey :: Unique
- fromToEIdKey :: Unique
- fromThenToEIdKey :: Unique
- listEIdKey :: Unique
- sigEIdKey :: Unique
- recConEIdKey :: Unique
- recUpdEIdKey :: Unique
- staticEIdKey :: Unique
- unboundVarEIdKey :: Unique
- labelEIdKey :: Unique
- implicitParamVarEIdKey :: Unique
- mdoEIdKey :: Unique
- getFieldEIdKey :: Unique
- projectionEIdKey :: Unique
- fieldExpIdKey :: Unique
- guardedBIdKey :: Unique
- normalBIdKey :: Unique
- normalGEIdKey :: Unique
- patGEIdKey :: Unique
- bindSIdKey :: Unique
- letSIdKey :: Unique
- noBindSIdKey :: Unique
- parSIdKey :: Unique
- recSIdKey :: Unique
- funDIdKey :: Unique
- valDIdKey :: Unique
- dataDIdKey :: Unique
- newtypeDIdKey :: Unique
- tySynDIdKey :: Unique
- classDIdKey :: Unique
- instanceWithOverlapDIdKey :: Unique
- instanceDIdKey :: Unique
- sigDIdKey :: Unique
- forImpDIdKey :: Unique
- pragInlDIdKey :: Unique
- pragSpecDIdKey :: Unique
- pragSpecInlDIdKey :: Unique
- pragSpecInstDIdKey :: Unique
- pragRuleDIdKey :: Unique
- pragAnnDIdKey :: Unique
- dataFamilyDIdKey :: Unique
- openTypeFamilyDIdKey :: Unique
- dataInstDIdKey :: Unique
- newtypeInstDIdKey :: Unique
- tySynInstDIdKey :: Unique
- closedTypeFamilyDIdKey :: Unique
- infixLDIdKey :: Unique
- infixRDIdKey :: Unique
- infixNDIdKey :: Unique
- roleAnnotDIdKey :: Unique
- standaloneDerivWithStrategyDIdKey :: Unique
- defaultSigDIdKey :: Unique
- patSynDIdKey :: Unique
- patSynSigDIdKey :: Unique
- pragCompleteDIdKey :: Unique
- implicitParamBindDIdKey :: Unique
- kiSigDIdKey :: Unique
- defaultDIdKey :: Unique
- pragOpaqueDIdKey :: Unique
- typeDataDIdKey :: Unique
- cxtIdKey :: Unique
- noSourceUnpackednessKey :: Unique
- sourceNoUnpackKey :: Unique
- sourceUnpackKey :: Unique
- noSourceStrictnessKey :: Unique
- sourceLazyKey :: Unique
- sourceStrictKey :: Unique
- normalCIdKey :: Unique
- recCIdKey :: Unique
- infixCIdKey :: Unique
- forallCIdKey :: Unique
- gadtCIdKey :: Unique
- recGadtCIdKey :: Unique
- bangIdKey :: Unique
- bangTKey :: Unique
- varBangTKey :: Unique
- unidirPatSynIdKey :: Unique
- implBidirPatSynIdKey :: Unique
- explBidirPatSynIdKey :: Unique
- prefixPatSynIdKey :: Unique
- infixPatSynIdKey :: Unique
- recordPatSynIdKey :: Unique
- forallTIdKey :: Unique
- forallVisTIdKey :: Unique
- varTIdKey :: Unique
- conTIdKey :: Unique
- tupleTIdKey :: Unique
- unboxedTupleTIdKey :: Unique
- unboxedSumTIdKey :: Unique
- arrowTIdKey :: Unique
- listTIdKey :: Unique
- appTIdKey :: Unique
- appKindTIdKey :: Unique
- sigTIdKey :: Unique
- equalityTIdKey :: Unique
- litTIdKey :: Unique
- promotedTIdKey :: Unique
- promotedTupleTIdKey :: Unique
- promotedNilTIdKey :: Unique
- promotedConsTIdKey :: Unique
- wildCardTIdKey :: Unique
- implicitParamTIdKey :: Unique
- infixTIdKey :: Unique
- numTyLitIdKey :: Unique
- strTyLitIdKey :: Unique
- charTyLitIdKey :: Unique
- plainTVIdKey :: Unique
- kindedTVIdKey :: Unique
- plainInvisTVIdKey :: Unique
- kindedInvisTVIdKey :: Unique
- plainBndrTVIdKey :: Unique
- kindedBndrTVIdKey :: Unique
- nominalRIdKey :: Unique
- representationalRIdKey :: Unique
- phantomRIdKey :: Unique
- inferRIdKey :: Unique
- starKIdKey :: Unique
- constraintKIdKey :: Unique
- noSigIdKey :: Unique
- kindSigIdKey :: Unique
- tyVarSigIdKey :: Unique
- injectivityAnnIdKey :: Unique
- cCallIdKey :: Unique
- stdCallIdKey :: Unique
- cApiCallIdKey :: Unique
- primCallIdKey :: Unique
- javaScriptCallIdKey :: Unique
- unsafeIdKey :: Unique
- safeIdKey :: Unique
- interruptibleIdKey :: Unique
- funDepIdKey :: Unique
- mulArrowTIdKey :: Unique
- tySynEqnIdKey :: Unique
- quoteExpKey :: Unique
- quotePatKey :: Unique
- quoteDecKey :: Unique
- quoteTypeKey :: Unique
- ruleVarIdKey :: Unique
- typedRuleVarIdKey :: Unique
- valueAnnotationIdKey :: Unique
- typeAnnotationIdKey :: Unique
- moduleAnnotationIdKey :: Unique
- derivClauseIdKey :: Unique
- stockStrategyIdKey :: Unique
- anyclassStrategyIdKey :: Unique
- newtypeStrategyIdKey :: Unique
- viaStrategyIdKey :: Unique
- specifiedSpecKey :: Unique
- inferredSpecKey :: Unique
- bndrReqKey :: Unique
- bndrInvisKey :: Unique
- lift_RDR :: RdrName
- liftTyped_RDR :: RdrName
- unsafeCodeCoerce_RDR :: RdrName
- mkNameG_dRDR :: RdrName
- mkNameG_vRDR :: RdrName
- mkNameG_fldRDR :: RdrName
- conE_RDR :: RdrName
- litE_RDR :: RdrName
- appE_RDR :: RdrName
- infixApp_RDR :: RdrName
- stringL_RDR :: RdrName
- intPrimL_RDR :: RdrName
- wordPrimL_RDR :: RdrName
- floatPrimL_RDR :: RdrName
- doublePrimL_RDR :: RdrName
- stringPrimL_RDR :: RdrName
- charPrimL_RDR :: RdrName
Documentation
templateHaskellNames :: [Name] Source #
mkTHModule :: FastString -> Module Source #
thFld :: FastString -> FastString -> Unique -> Name Source #
liftClassName :: Name Source #
qTyConName :: Name Source #
nameTyConName :: Name Source #
patTyConName :: Name Source #
expTyConName :: Name Source #
decTyConName :: Name Source #
decsTyConName :: Name Source #
typeTyConName :: Name Source #
predTyConName :: Name Source #
codeTyConName :: Name Source #
returnQName :: Name Source #
sequenceQName :: Name Source #
newNameName :: Name Source #
mkNameName :: Name Source #
mkNameG_vName :: Name Source #
mkNameG_dName :: Name Source #
mkNameLName :: Name Source #
mkNameQName :: Name Source #
mkNameSName :: Name Source #
mkModNameName :: Name Source #
unTypeName :: Name Source #
liftTypedName :: Name Source #
stringLName :: Name Source #
integerLName :: Name Source #
intPrimLName :: Name Source #
wordPrimLName :: Name Source #
rationalLName :: Name Source #
charPrimLName :: Name Source #
infixPName :: Name Source #
tildePName :: Name Source #
fieldPatName :: Name Source #
clauseName :: Name Source #
appTypeEName :: Name Source #
infixEName :: Name Source #
infixAppName :: Name Source #
sectionLName :: Name Source #
sectionRName :: Name Source #
lamCaseEName :: Name Source #
lamCasesEName :: Name Source #
multiIfEName :: Name Source #
fromThenEName :: Name Source #
fromToEName :: Name Source #
recConEName :: Name Source #
recUpdEName :: Name Source #
staticEName :: Name Source #
labelEName :: Name Source #
getFieldEName :: Name Source #
fieldExpName :: Name Source #
guardedBName :: Name Source #
normalBName :: Name Source #
normalGEName :: Name Source #
noBindSName :: Name Source #
newtypeDName :: Name Source #
typeDataDName :: Name Source #
tySynDName :: Name Source #
classDName :: Name Source #
kiSigDName :: Name Source #
defaultDName :: Name Source #
forImpDName :: Name Source #
pragInlDName :: Name Source #
pragSpecDName :: Name Source #
pragRuleDName :: Name Source #
pragAnnDName :: Name Source #
dataInstDName :: Name Source #
infixLDName :: Name Source #
infixRDName :: Name Source #
infixNDName :: Name Source #
patSynDName :: Name Source #
normalCName :: Name Source #
infixCName :: Name Source #
forallCName :: Name Source #
recGadtCName :: Name Source #
bangTypeName :: Name Source #
forallTName :: Name Source #
tupleTName :: Name Source #
arrowTName :: Name Source #
mulArrowTName :: Name Source #
appKindTName :: Name Source #
equalityTName :: Name Source #
promotedTName :: Name Source #
wildCardTName :: Name Source #
infixTName :: Name Source #
numTyLitName :: Name Source #
strTyLitName :: Name Source #
charTyLitName :: Name Source #
plainTVName :: Name Source #
kindedTVName :: Name Source #
bndrReqName :: Name Source #
bndrInvisName :: Name Source #
nominalRName :: Name Source #
phantomRName :: Name Source #
inferRName :: Name Source #
kindSigName :: Name Source #
tyVarSigName :: Name Source #
stdCallName :: Name Source #
cApiCallName :: Name Source #
primCallName :: Name Source #
unsafeName :: Name Source #
ruleVarName :: Name Source #
funDepName :: Name Source #
tySynEqnName :: Name Source #
expQTyConName :: Name Source #
patQTyConName :: Name Source #
stmtTyConName :: Name Source #
conTyConName :: Name Source #
roleTyConName :: Name Source #
kindTyConName :: Name Source #
quoteExpName :: Name Source #
quotePatName :: Name Source #
quoteDecName :: Name Source #
quoteTypeName :: Name Source #
* * Class keys * * *********************************************************************
* * TyCon keys * * *********************************************************************
expTyConKey :: Unique Source #
patTyConKey :: Unique Source #
conTyConKey :: Unique Source #
decTyConKey :: Unique Source #
* * DataCon keys * * *********************************************************************
* * Id keys * * *********************************************************************
bindQIdKey :: Unique Source #
mkNameIdKey :: Unique Source #
unTypeIdKey :: Unique Source #
charLIdKey :: Unique Source #
infixPIdKey :: Unique Source #
tildePIdKey :: Unique Source #
bangPIdKey :: Unique Source #
wildPIdKey :: Unique Source #
listPIdKey :: Unique Source #
viewPIdKey :: Unique Source #
matchIdKey :: Unique Source #
clauseIdKey :: Unique Source #
infixEIdKey :: Unique Source #
condEIdKey :: Unique Source #
caseEIdKey :: Unique Source #
compEIdKey :: Unique Source #
fromEIdKey :: Unique Source #
listEIdKey :: Unique Source #
labelEIdKey :: Unique Source #
patGEIdKey :: Unique Source #
bindSIdKey :: Unique Source #
dataDIdKey :: Unique Source #
tySynDIdKey :: Unique Source #
classDIdKey :: Unique Source #
kiSigDIdKey :: Unique Source #
infixCIdKey :: Unique Source #
gadtCIdKey :: Unique Source #
varBangTKey :: Unique Source #
tupleTIdKey :: Unique Source #
arrowTIdKey :: Unique Source #
listTIdKey :: Unique Source #
infixTIdKey :: Unique Source #
inferRIdKey :: Unique Source #
starKIdKey :: Unique Source #
noSigIdKey :: Unique Source #
cCallIdKey :: Unique Source #
unsafeIdKey :: Unique Source #
funDepIdKey :: Unique Source #
quoteExpKey :: Unique Source #
quotePatKey :: Unique Source #
quoteDecKey :: Unique Source #
bndrReqKey :: Unique Source #