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

Index - T

tablesNextToCodeGhcApi.GhcPlugins
TaggedAltGhcApi.GhcPlugins
TaggedArgGhcApi.GhcPlugins
TaggedBindGhcApi.GhcPlugins
TaggedBndrGhcApi.GhcPlugins
TaggedExprGhcApi.GhcPlugins
tAG_BITSGhcApi.GhcPlugins
tAG_MASKGhcApi.GhcPlugins
TailCallInfoGhcApi.GhcPlugins
tailCallInfoGhcApi.GhcPlugins
tailFSGhcApi.GhcPlugins
takeListGhcApi.GhcPlugins
takeUniqFromSupplyGhcApi.GhcPlugins
Target 
1 (Data Constructor)GhcApi.GhcPlugins
2 (Type/Class)GhcApi.GhcPlugins
targetAllowObjCodeGhcApi.GhcPlugins
targetContentsGhcApi.GhcPlugins
TargetFileGhcApi.GhcPlugins
TargetIdGhcApi.GhcPlugins
targetIdGhcApi.GhcPlugins
TargetModuleGhcApi.GhcPlugins
targetPlatformGhcApi.GhcPlugins
targetRetainsAllBindingsGhcApi.GhcPlugins
tARGET_MAX_INTGhcApi.GhcPlugins
tARGET_MAX_WORDGhcApi.GhcPlugins
tARGET_MIN_INTGhcApi.GhcPlugins
TBGhcApi.GhcPlugins
tcClsNameGhcApi.GhcPlugins
TcCoercionGHC.Corroborate
TcCoercionRGHC.Corroborate
tcFlavourIsOpenGhcApi.GhcPlugins
tcGetTyVar_maybeGHC.Corroborate
tcIsConstraintKindGhcApi.GhcPlugins
tcIsLiftedTypeKindGhcApi.GhcPlugins
tcIsRuntimeTypeKindGhcApi.GhcPlugins
tcLookupClassGHC.Corroborate
tcLookupTyConGHC.Corroborate
tcm_covarGhcApi.GhcPlugins
tcm_holeGhcApi.GhcPlugins
tcm_tycobinderGhcApi.GhcPlugins
tcm_tyconGhcApi.GhcPlugins
tcm_tyvarGhcApi.GhcPlugins
tcNameGhcApi.GhcPlugins
TcPlugin 
1 (Data Constructor)GHC.Corroborate
2 (Type/Class)GHC.Corroborate
tcPluginGHC.Corroborate, GhcApi.GhcPlugins
TcPluginContradictionGHC.Corroborate
tcPluginInitGHC.Corroborate
tcPluginIOGHC.Corroborate
TcPluginMGHC.Corroborate
TcPluginOkGHC.Corroborate
TcPluginResultGHC.Corroborate
tcPluginSolveGHC.Corroborate
tcPluginStopGHC.Corroborate
tcPluginTraceGHC.Corroborate
tcRepSplitAppTy_maybeGhcApi.GhcPlugins
tcReturnsConstraintKindGhcApi.GhcPlugins
tcSplitTyConApp_maybeGHC.Corroborate, GhcApi.GhcPlugins
tcTyConIsPolyGHC.Corroborate, GhcApi.GhcPlugins
tcTyConScopedTyVarsGHC.Corroborate, GhcApi.GhcPlugins
tcTypeKindGhcApi.GhcPlugins
TcTyVarGhcApi.GhcPlugins
tcTyVarDetailsGhcApi.GhcPlugins
tcViewGhcApi.GhcPlugins
TCvSubst 
1 (Data Constructor)GhcApi.GhcPlugins
2 (Type/Class)GhcApi.GhcPlugins
termsGHC.Corroborate.Evidence
textGHC.Corroborate, GhcApi.GhcPlugins
thdOf3GhcApi.GhcPlugins
thenCmpGHC.Corroborate, GhcApi.GhcPlugins
ThetaTypeGhcApi.GhcPlugins
third3GhcApi.GhcPlugins
thisComponentIdGhcApi.GhcPlugins
thisComponentId_GhcApi.GhcPlugins
thisGhcUnitIdGhcApi.GhcPlugins
thisInstalledUnitIdGhcApi.GhcPlugins
thisPackageGhcApi.GhcPlugins
thisUnitIdInstsGhcApi.GhcPlugins
thisUnitIdInsts_GhcApi.GhcPlugins
thNameToGhcNameGhcApi.GhcPlugins
thOnLocGhcApi.GhcPlugins
throwErrorsGhcApi.GhcPlugins
throwOneErrorGhcApi.GhcPlugins
thUnitIdGhcApi.GhcPlugins
Tick 
1 (Type/Class)GhcApi.GhcPlugins
2 (Data Constructor)GhcApi.GhcPlugins
TickBoxGhcApi.GhcPlugins
TickBoxIdGhcApi.GhcPlugins
TickBoxOpGhcApi.GhcPlugins
TickBoxOpIdGhcApi.GhcPlugins
tickHNFArgsGhcApi.GhcPlugins
tickIdGhcApi.GhcPlugins
TickishGhcApi.GhcPlugins
tickishCanSplitGhcApi.GhcPlugins
tickishContainsGhcApi.GhcPlugins
tickishCountsGhcApi.GhcPlugins
tickishFloatableGhcApi.GhcPlugins
tickishIsCodeGhcApi.GhcPlugins
tickishPlaceGhcApi.GhcPlugins
TickishPlacementGhcApi.GhcPlugins
tickishScopedGhcApi.GhcPlugins
tickishScopesLikeGhcApi.GhcPlugins
TickishScopingGhcApi.GhcPlugins
tickModuleGhcApi.GhcPlugins
tICKY_BIN_COUNTGhcApi.GhcPlugins
tidyCoGhcApi.GhcPlugins
tidyCoAxBndrsForUserGhcApi.GhcPlugins
tidyCosGhcApi.GhcPlugins
TidyEnvGhcApi.GhcPlugins
tidyFreeTyCoVarsGhcApi.GhcPlugins
tidyKindGhcApi.GhcPlugins
tidyNameOccGhcApi.GhcPlugins
TidyOccEnvGhcApi.GhcPlugins
tidyOccNameGhcApi.GhcPlugins
tidyOpenKindGhcApi.GhcPlugins
tidyOpenTyCoVarGhcApi.GhcPlugins
tidyOpenTyCoVarsGhcApi.GhcPlugins
tidyOpenTypeGhcApi.GhcPlugins
tidyOpenTypesGhcApi.GhcPlugins
tidyTopTypeGhcApi.GhcPlugins
tidyTyCoVarBinderGhcApi.GhcPlugins
tidyTyCoVarBindersGhcApi.GhcPlugins
tidyTyCoVarOccGhcApi.GhcPlugins
tidyTypeGhcApi.GhcPlugins
tidyTypesGhcApi.GhcPlugins
tidyVarBndrGhcApi.GhcPlugins
tidyVarBndrsGhcApi.GhcPlugins
TKVarGhcApi.GhcPlugins
tmpDirGhcApi.GhcPlugins
toArgsGhcApi.GhcPlugins
toCmdArgsGhcApi.GhcPlugins
toEPGhcApi.GhcPlugins
toInstalledUnitIdGhcApi.GhcPlugins
toolSettingsGhcApi.GhcPlugins
topDirGhcApi.GhcPlugins
TopLevelGhcApi.GhcPlugins
TopLevelFlagGhcApi.GhcPlugins
topNormaliseNewType_maybeGhcApi.GhcPlugins
topNormaliseTypeXGhcApi.GhcPlugins
topPrecGhcApi.GhcPlugins
toSerializedGhcApi.GhcPlugins
traceGhcApi.GhcPlugins
tracePluginGHC.Corroborate
transCloDVarSetGhcApi.GhcPlugins
transCloVarSetGhcApi.GhcPlugins
transferPolyIdInfoGhcApi.GhcPlugins
transformGREsGhcApi.GhcPlugins
transitiveClosureGhcApi.GhcPlugins
treatZeroAsInfGhcApi.GhcPlugins
trimConArgsGhcApi.GhcPlugins
trueDataConGhcApi.GhcPlugins
trueDataConIdGhcApi.GhcPlugins
true_RDRGhcApi.GhcPlugins
trustedGhcApi.GhcPlugins
TrustFlagGhcApi.GhcPlugins
trustFlagsGhcApi.GhcPlugins
trustInfoToNumGhcApi.GhcPlugins
TrustPackageGhcApi.GhcPlugins
trustworthyOnLocGhcApi.GhcPlugins
tryEtaReduceGhcApi.GhcPlugins
tupleDataConGhcApi.GhcPlugins
tupleDataConNameGhcApi.GhcPlugins
TupleFlavourGhcApi.GhcPlugins
tupleParensGhcApi.GhcPlugins
tupleRepDataConTyConGhcApi.GhcPlugins
TupleSortGhcApi.GhcPlugins
tupleSortBoxityGhcApi.GhcPlugins
TupleTyConGhcApi.GhcPlugins
tupleTyConGhcApi.GhcPlugins
tupleTyConNameGhcApi.GhcPlugins
tup_sortGhcApi.GhcPlugins
tvNameGhcApi.GhcPlugins
TvSubstEnvGhcApi.GhcPlugins
tyBinderTypeGhcApi.GhcPlugins
TyCoBinderGhcApi.GhcPlugins
tyCoBinderTypeGhcApi.GhcPlugins
tyCoBinderVar_maybeGhcApi.GhcPlugins
tyCoFVsBndrGhcApi.GhcPlugins
tyCoFVsOfCoGhcApi.GhcPlugins
tyCoFVsOfCosGhcApi.GhcPlugins
tyCoFVsOfTypeGhcApi.GhcPlugins
tyCoFVsVarBndrGhcApi.GhcPlugins
tyCoFVsVarBndrsGhcApi.GhcPlugins
TyCoMapper 
1 (Data Constructor)GhcApi.GhcPlugins
2 (Type/Class)GhcApi.GhcPlugins
TyConGHC.Corroborate, GhcApi.GhcPlugins
TyConAppGHC.Corroborate
tyConAppArgNGhcApi.GhcPlugins
tyConAppArgsGhcApi.GhcPlugins
tyConAppArgs_maybeGhcApi.GhcPlugins
tyConAppNeedsKindSigGhcApi.GhcPlugins
tyConAppTyConGhcApi.GhcPlugins
tyConAppTyConPicky_maybeGhcApi.GhcPlugins
tyConAppTyCon_maybeGhcApi.GhcPlugins
tyConArgFlagsGhcApi.GhcPlugins
tyConArityGHC.Corroborate, GhcApi.GhcPlugins
tyConAssoc_maybeGhcApi.GhcPlugins
tyConATsGhcApi.GhcPlugins
TyConBinderGhcApi.GhcPlugins
tyConBinderArgFlagGhcApi.GhcPlugins
tyConBindersGHC.Corroborate, GhcApi.GhcPlugins
tyConBindersTyCoBindersGhcApi.GhcPlugins
TyConBndrVisGhcApi.GhcPlugins
tyConBndrVisArgFlagGhcApi.GhcPlugins
tyConClass_maybeGhcApi.GhcPlugins
tyConCTypeGHC.Corroborate, GhcApi.GhcPlugins
tyConCType_maybeGhcApi.GhcPlugins
tyConDataConsGHC.Corroborate, GhcApi.GhcPlugins
tyConDataCons_maybeGhcApi.GhcPlugins
tyConFamilyCoercion_maybeGhcApi.GhcPlugins
tyConFamilyResVar_maybeGhcApi.GhcPlugins
tyConFamilySizeGhcApi.GhcPlugins
tyConFamInstSig_maybeGhcApi.GhcPlugins
tyConFamInst_maybeGhcApi.GhcPlugins
tyConFieldLabelsGhcApi.GhcPlugins
TyConFlavourGhcApi.GhcPlugins
tyConFlavourGhcApi.GhcPlugins
tyConFlavourAssoc_maybeGhcApi.GhcPlugins
tyConInjectivityInfoGhcApi.GhcPlugins
tyConKindGHC.Corroborate, GhcApi.GhcPlugins
tyConNameGHC.Corroborate, GhcApi.GhcPlugins
tyConRepModOccGhcApi.GhcPlugins
TyConRepNameGhcApi.GhcPlugins
tyConRepName_maybeGhcApi.GhcPlugins
tyConResKindGHC.Corroborate, GhcApi.GhcPlugins
tyConRolesGhcApi.GhcPlugins
tyConRolesRepresentationalGhcApi.GhcPlugins
tyConRolesXGhcApi.GhcPlugins
tyConRuntimeRepInfoGhcApi.GhcPlugins
tyConSingleAlgDataCon_maybeGhcApi.GhcPlugins
tyConSingleDataConGhcApi.GhcPlugins
tyConSingleDataCon_maybeGhcApi.GhcPlugins
tyConSkolemGhcApi.GhcPlugins
tyConsOfTypeGhcApi.GhcPlugins
tyConStupidThetaGhcApi.GhcPlugins
tyConTuple_maybeGhcApi.GhcPlugins
TyConTyCoBinderGhcApi.GhcPlugins
tyConTyVarBindersGhcApi.GhcPlugins
tyConTyVarsGHC.Corroborate, GhcApi.GhcPlugins
tyConUniqueGHC.Corroborate, GhcApi.GhcPlugins
tyConVisibleTyVarsGhcApi.GhcPlugins
TyCoVarGhcApi.GhcPlugins
TyCoVarBinderGhcApi.GhcPlugins
TyCoVarEnvGhcApi.GhcPlugins
TyCoVarSetGHC.Corroborate, GhcApi.GhcPlugins
tyCoVarsOfCoGhcApi.GhcPlugins
tyCoVarsOfCoDSetGhcApi.GhcPlugins
tyCoVarsOfCosGhcApi.GhcPlugins
tyCoVarsOfTypeGHC.Corroborate, GhcApi.GhcPlugins
tyCoVarsOfTypeDSetGhcApi.GhcPlugins
tyCoVarsOfTypesGHC.Corroborate, GhcApi.GhcPlugins
tyCoVarsOfTypesWellScopedGhcApi.GhcPlugins
tyCoVarsOfTypeWellScopedGhcApi.GhcPlugins
Type 
1 (Data Constructor)GhcApi.GhcPlugins
2 (Type/Class)GHC.Corroborate, GhcApi.GhcPlugins
typeCheckResultActionGHC.Corroborate, GhcApi.GhcPlugins
TypeEnvGhcApi.GhcPlugins
typeEnvClassesGhcApi.GhcPlugins
typeEnvCoAxiomsGhcApi.GhcPlugins
typeEnvDataConsGhcApi.GhcPlugins
typeEnvEltsGhcApi.GhcPlugins
typeEnvFromEntitiesGhcApi.GhcPlugins
typeEnvIdsGhcApi.GhcPlugins
typeEnvPatSynsGhcApi.GhcPlugins
typeEnvTyConsGhcApi.GhcPlugins
typeKindGHC.Corroborate, GhcApi.GhcPlugins
TypeLevelGhcApi.GhcPlugins
typeNatAddTyConGHC.Corroborate
typeNatKindGhcApi.GhcPlugins
typeNatKindConGHC.Corroborate, GhcApi.GhcPlugins
typeNatSubTyConGHC.Corroborate
typeOneShotGhcApi.GhcPlugins
TypeOrKindGhcApi.GhcPlugins
typeSizeGhcApi.GhcPlugins
typeSymbolKindGHC.Corroborate, GhcApi.GhcPlugins
typeSymbolKindConGHC.Corroborate, GhcApi.GhcPlugins
TypeSynonymFlavourGhcApi.GhcPlugins
typeToTypeKindGhcApi.GhcPlugins
TypeVarGhcApi.GhcPlugins
tYPE_ERROR_IDGhcApi.GhcPlugins
TyThingGhcApi.GhcPlugins
tyThingAvailInfoGhcApi.GhcPlugins
tyThingCoAxiomGhcApi.GhcPlugins
tyThingConLikeGhcApi.GhcPlugins
tyThingDataConGhcApi.GhcPlugins
tyThingIdGhcApi.GhcPlugins
tyThingParent_maybeGhcApi.GhcPlugins
tyThingsTyCoVarsGhcApi.GhcPlugins
tyThingTyConGhcApi.GhcPlugins
TyVarGHC.Corroborate, GhcApi.GhcPlugins
TyVarBinderGhcApi.GhcPlugins
TyVarEnvGhcApi.GhcPlugins
tyVarKindGHC.Corroborate, GhcApi.GhcPlugins
tyVarNameGhcApi.GhcPlugins
TyVarSetGhcApi.GhcPlugins
tyVarsOfTypeGHC.Corroborate.Shim
tyVarsOfTypesGHC.Corroborate.Shim
TyVarTyGHC.Corroborate