ghc-corroborate-1.0.0: An flatter API for GHC typechecker plugins

Index - E

elemDVarEnvGhcApi.GhcPlugins
elemDVarSetGhcApi.GhcPlugins
elementOfUniqSetGhcApi.GhcPlugins
elemInScopeSetGhcApi.GhcPlugins
elemLocalRdrEnvGhcApi.GhcPlugins
elemModuleEnvGhcApi.GhcPlugins
elemModuleSetGhcApi.GhcPlugins
elemNameEnvGhcApi.GhcPlugins
elemNameSetGhcApi.GhcPlugins
elemOccEnvGhcApi.GhcPlugins
elemOccSetGhcApi.GhcPlugins
elemUFMGhcApi.GhcPlugins
elemUFM_DirectlyGhcApi.GhcPlugins
elemUniqSet_DirectlyGhcApi.GhcPlugins
elemVarEnvGhcApi.GhcPlugins
elemVarEnvByKeyGhcApi.GhcPlugins
elemVarSetGHC.Corroborate, GhcApi.GhcPlugins
elemVarSetByKeyGhcApi.GhcPlugins
eltsHptGhcApi.GhcPlugins
eltsUFMGhcApi.GhcPlugins
emptyGhcApi.GhcPlugins
emptyAnnEnvGhcApi.GhcPlugins
emptyCvSubstEnvGhcApi.GhcPlugins
emptyDNameEnvGhcApi.GhcPlugins
emptyDUsGhcApi.GhcPlugins
emptyDVarEnvGhcApi.GhcPlugins
emptyDVarSetGhcApi.GhcPlugins
emptyFilesToCleanGhcApi.GhcPlugins
emptyFixityEnvGhcApi.GhcPlugins
emptyFsEnvGhcApi.GhcPlugins
emptyFullModIfaceGhcApi.GhcPlugins
emptyFVsGhcApi.GhcPlugins
emptyGlobalRdrEnvGhcApi.GhcPlugins
emptyHomePackageTableGhcApi.GhcPlugins
emptyHpcInfoGhcApi.GhcPlugins
emptyIfaceWarnCacheGhcApi.GhcPlugins
emptyInScopeSetGhcApi.GhcPlugins
emptyInstalledModuleEnvGhcApi.GhcPlugins
emptyInteractiveContextGhcApi.GhcPlugins
emptyLiftingContextGhcApi.GhcPlugins
emptyLocalRdrEnvGhcApi.GhcPlugins
emptyMGGhcApi.GhcPlugins
emptyModBreaksGhcApi.GhcPlugins
emptyModDetailsGhcApi.GhcPlugins
emptyModuleEnvGhcApi.GhcPlugins
emptyModuleSetGhcApi.GhcPlugins
emptyNameEnvGhcApi.GhcPlugins
emptyNameSetGhcApi.GhcPlugins
emptyOccEnvGhcApi.GhcPlugins
emptyOccSetGhcApi.GhcPlugins
emptyPackageIfaceTableGhcApi.GhcPlugins
emptyPackageStateGhcApi.GhcPlugins
emptyPartialModIfaceGhcApi.GhcPlugins
emptyRuleBaseGhcApi.GhcPlugins
emptyRuleEnvGhcApi.GhcPlugins
emptyRuleInfoGhcApi.GhcPlugins
emptySubstGhcApi.GhcPlugins
emptyTCvSubstGhcApi.GhcPlugins
emptyTidyEnvGhcApi.GhcPlugins
emptyTidyOccEnvGhcApi.GhcPlugins
emptyTvSubstEnvGhcApi.GhcPlugins
emptyTypeEnvGhcApi.GhcPlugins
emptyUFMGhcApi.GhcPlugins
emptyUniqSetGhcApi.GhcPlugins
emptyVarEnvGhcApi.GhcPlugins
emptyVarSetGhcApi.GhcPlugins
enableTimeStatsGhcApi.GhcPlugins
EP 
1 (Data Constructor)GhcApi.GhcPlugins
2 (Type/Class)GhcApi.GhcPlugins
EPSGhcApi.GhcPlugins
EpsStats 
1 (Data Constructor)GhcApi.GhcPlugins
2 (Type/Class)GhcApi.GhcPlugins
eps_ann_envGhcApi.GhcPlugins
eps_complete_matchesGhcApi.GhcPlugins
eps_fam_inst_envGhcApi.GhcPlugins
eps_free_holesGhcApi.GhcPlugins
eps_inst_envGhcApi.GhcPlugins
eps_is_bootGhcApi.GhcPlugins
eps_mod_fam_inst_envGhcApi.GhcPlugins
eps_PITGhcApi.GhcPlugins
eps_PTEGhcApi.GhcPlugins
eps_rule_baseGhcApi.GhcPlugins
eps_statsGhcApi.GhcPlugins
eqClassGhcApi.GhcPlugins
eqCoercionGhcApi.GhcPlugins
eqCoercionXGhcApi.GhcPlugins
eqDataConGhcApi.GhcPlugins
eqExprGhcApi.GhcPlugins
eqHsBangGhcApi.GhcPlugins
eqListByGhcApi.GhcPlugins
eqLocatedGhcApi.GhcPlugins
eqMaybeByGhcApi.GhcPlugins
EqPredGHC.Corroborate
EqRelGHC.Corroborate
EqSpecGhcApi.GhcPlugins
eqSpecPairGhcApi.GhcPlugins
eqSpecPredsGhcApi.GhcPlugins
eqSpecTypeGhcApi.GhcPlugins
eqSpecTyVarGhcApi.GhcPlugins
eqTyConGhcApi.GhcPlugins
eqTyConNameGhcApi.GhcPlugins
eqTyCon_RDRGhcApi.GhcPlugins
eqTypeGhcApi.GhcPlugins
eqTypesGhcApi.GhcPlugins
eqTypeXGhcApi.GhcPlugins
equalKeysUFMGhcApi.GhcPlugins
equalLengthGhcApi.GhcPlugins
equalsGhcApi.GhcPlugins
EqVarGhcApi.GhcPlugins
eqVarBndrsGhcApi.GhcPlugins
errorIdsGhcApi.GhcPlugins
errorMsgGhcApi.GhcPlugins
errorMsgSGhcApi.GhcPlugins
ErrReasonGhcApi.GhcPlugins
escapeSpacesGhcApi.GhcPlugins
etaExpandCoAxBranchGhcApi.GhcPlugins
EtaExpansionGhcApi.GhcPlugins
EtaReductionGhcApi.GhcPlugins
et_bindsGHC.Corroborate
et_bodyGHC.Corroborate
et_givenGHC.Corroborate
et_tvsGHC.Corroborate
evaldUnfoldingGhcApi.GhcPlugins
evByFiatGHC.Corroborate
evCastGHC.Corroborate
evCast'GHC.Corroborate.Evidence
evDFunAppGHC.Corroborate
evDFunApp'GHC.Corroborate.Evidence
EvExpr 
1 (Data Constructor)GHC.Corroborate
2 (Type/Class)GHC.Corroborate
EvFunGHC.Corroborate
EvIdGhcApi.GhcPlugins
EvTermGHC.Corroborate
EvTypeableGHC.Corroborate
EvVarGhcApi.GhcPlugins
ExactGhcApi.GhcPlugins
exactLog2GhcApi.GhcPlugins
expandedPackageConfigIdGhcApi.GhcPlugins
expandSynTyCon_maybeGhcApi.GhcPlugins
expandTypeSynonymsGhcApi.GhcPlugins
expandUnfolding_maybeGhcApi.GhcPlugins
explicitPackagesGhcApi.GhcPlugins
ExplicitSpliceGhcApi.GhcPlugins
exposedGhcApi.GhcPlugins
exposedModulesGhcApi.GhcPlugins
ExposePackageGhcApi.GhcPlugins
ExprGhcApi.GhcPlugins
exprFreeIdsGhcApi.GhcPlugins
exprFreeIdsDSetGhcApi.GhcPlugins
exprFreeIdsListGhcApi.GhcPlugins
exprFreeVarsGhcApi.GhcPlugins
exprFreeVarsDSetGhcApi.GhcPlugins
exprFreeVarsListGhcApi.GhcPlugins
exprIsBigGhcApi.GhcPlugins
exprIsBottomGhcApi.GhcPlugins
exprIsCheapGhcApi.GhcPlugins
exprIsCheapXGhcApi.GhcPlugins
exprIsConLikeGhcApi.GhcPlugins
exprIsDupableGhcApi.GhcPlugins
exprIsExpandableGhcApi.GhcPlugins
exprIsHNFGhcApi.GhcPlugins
exprIsTickedStringGhcApi.GhcPlugins
exprIsTickedString_maybeGhcApi.GhcPlugins
exprIsTopLevelBindableGhcApi.GhcPlugins
exprIsTrivialGhcApi.GhcPlugins
exprIsWorkFreeGhcApi.GhcPlugins
exprOkForSideEffectsGhcApi.GhcPlugins
exprOkForSpeculationGhcApi.GhcPlugins
exprsFreeIdsDSetGhcApi.GhcPlugins
exprsFreeIdsListGhcApi.GhcPlugins
exprsFreeVarsGhcApi.GhcPlugins
exprsFreeVarsListGhcApi.GhcPlugins
exprSomeFreeVarsGhcApi.GhcPlugins
exprSomeFreeVarsListGhcApi.GhcPlugins
exprsOrphNamesGhcApi.GhcPlugins
exprsSomeFreeVarsGhcApi.GhcPlugins
exprsSomeFreeVarsListGhcApi.GhcPlugins
exprToCoercion_maybeGhcApi.GhcPlugins
exprToTypeGhcApi.GhcPlugins
exprTypeGhcApi.GhcPlugins
expr_fvsGhcApi.GhcPlugins
extendAnnEnvListGhcApi.GhcPlugins
extendCompleteMatchMapGhcApi.GhcPlugins
extendCvSubstGhcApi.GhcPlugins
extendDNameEnvGhcApi.GhcPlugins
extendDVarEnvGhcApi.GhcPlugins
extendDVarEnvListGhcApi.GhcPlugins
extendDVarEnv_CGhcApi.GhcPlugins
extendDVarSetGhcApi.GhcPlugins
extendDVarSetListGhcApi.GhcPlugins
extendFsEnvGhcApi.GhcPlugins
extendGlobalRdrEnvGhcApi.GhcPlugins
extendIdSubstGhcApi.GhcPlugins
extendIdSubstListGhcApi.GhcPlugins
extendInScopeGhcApi.GhcPlugins
extendInScopeIdsGhcApi.GhcPlugins
extendInScopeListGhcApi.GhcPlugins
extendInScopeSetGhcApi.GhcPlugins
extendInScopeSetListGhcApi.GhcPlugins
extendInScopeSetSetGhcApi.GhcPlugins
extendInstalledModuleEnvGhcApi.GhcPlugins
extendInteractiveContextGhcApi.GhcPlugins
extendInteractiveContextWithIdsGhcApi.GhcPlugins
extendLiftingContextGhcApi.GhcPlugins
extendLiftingContextAndInScopeGhcApi.GhcPlugins
extendLocalRdrEnvGhcApi.GhcPlugins
extendLocalRdrEnvListGhcApi.GhcPlugins
extendMGGhcApi.GhcPlugins
extendModuleEnvGhcApi.GhcPlugins
extendModuleEnvListGhcApi.GhcPlugins
extendModuleEnvList_CGhcApi.GhcPlugins
extendModuleEnvWithGhcApi.GhcPlugins
extendModuleSetGhcApi.GhcPlugins
extendModuleSetListGhcApi.GhcPlugins
extendNameEnvGhcApi.GhcPlugins
extendNameEnvListGhcApi.GhcPlugins
extendNameEnvList_CGhcApi.GhcPlugins
extendNameEnv_AccGhcApi.GhcPlugins
extendNameEnv_CGhcApi.GhcPlugins
extendNameSetGhcApi.GhcPlugins
extendNameSetListGhcApi.GhcPlugins
extendOccEnvGhcApi.GhcPlugins
extendOccEnvListGhcApi.GhcPlugins
extendOccEnv_AccGhcApi.GhcPlugins
extendOccEnv_CGhcApi.GhcPlugins
extendOccSetGhcApi.GhcPlugins
extendOccSetListGhcApi.GhcPlugins
extendRuleBaseListGhcApi.GhcPlugins
extendRuleInfoGhcApi.GhcPlugins
extendSubstGhcApi.GhcPlugins
extendSubstListGhcApi.GhcPlugins
extendSubstWithVarGhcApi.GhcPlugins
extendTCvInScopeGhcApi.GhcPlugins
extendTCvInScopeListGhcApi.GhcPlugins
extendTCvInScopeSetGhcApi.GhcPlugins
extendTCvSubstGhcApi.GhcPlugins
extendTCvSubstListGhcApi.GhcPlugins
extendTCvSubstWithCloneGhcApi.GhcPlugins
extendTvSubstGhcApi.GhcPlugins
extendTvSubstAndInScopeGhcApi.GhcPlugins
extendTvSubstBinderAndInScopeGhcApi.GhcPlugins
extendTvSubstListGhcApi.GhcPlugins
extendTvSubstWithCloneGhcApi.GhcPlugins
extendTypeEnvGhcApi.GhcPlugins
extendTypeEnvListGhcApi.GhcPlugins
extendTypeEnvWithIdsGhcApi.GhcPlugins
extendVarEnvGhcApi.GhcPlugins
extendVarEnvListGhcApi.GhcPlugins
extendVarEnv_AccGhcApi.GhcPlugins
extendVarEnv_CGhcApi.GhcPlugins
extendVarEnv_DirectlyGhcApi.GhcPlugins
extendVarSetGhcApi.GhcPlugins
extendVarSetListGhcApi.GhcPlugins
extensionFlagsGhcApi.GhcPlugins
extensionsGhcApi.GhcPlugins
ExternalPackageStateGhcApi.GhcPlugins
extractDynFlagsGhcApi.GhcPlugins
extractModuleGhcApi.GhcPlugins
extraGccViaCFlagsGhcApi.GhcPlugins
extraGHCiLibrariesGhcApi.GhcPlugins
extraLibrariesGhcApi.GhcPlugins