Index - A
| A | HERMIT.Dictionary.WorkerWrapper.Common, HERMIT.Dictionary |
| Abort | HERMIT.Shell.ShellEffect |
| abort | |
| 1 (Function) | HERMIT.Shell.Types |
| 2 (Function) | HERMIT.Plugin |
| abortK | HERMIT.Kernel |
| absentLiteralOf | HERMIT.GHC |
| aBSENT_ERROR_ID | HERMIT.GHC |
| AbsolutePath | HERMIT.Kure |
| AbsolutePathH | HERMIT.Context |
| absPath | HERMIT.Kure |
| absPathT | HERMIT.Kure |
| Abstract | HERMIT.PrettyPrinter.Common |
| abstractClauseR | HERMIT.Dictionary.Reasoning, HERMIT.Dictionary |
| AbstractClosedSynFamilyTyCon | HERMIT.GHC |
| abstractConstr | HERMIT.GHC |
| abstractDataType | HERMIT.GHC |
| abstractR | HERMIT.Dictionary.Local, HERMIT.Dictionary |
| AbstractTyCon | HERMIT.GHC |
| accepterR | HERMIT.Kure |
| acceptLocalPathT | HERMIT.Kure |
| acceptR | HERMIT.Kure |
| acceptWithFailMsgR | HERMIT.Kure |
| ACoAxiom | HERMIT.GHC |
| AConLike | HERMIT.GHC |
| Activation | HERMIT.GHC |
| ActiveAfter | HERMIT.GHC |
| ActiveBefore | HERMIT.GHC |
| addAltBindings | HERMIT.Context |
| addAntecedent | HERMIT.Context |
| addAST | HERMIT.Shell.Types |
| addBindingGroup | HERMIT.Context |
| AddBindings | HERMIT.Context |
| addBootSuffix | HERMIT.GHC |
| addBootSuffixLocn | HERMIT.GHC |
| addBootSuffix_maybe | HERMIT.GHC |
| addCaseBinderBinding | HERMIT.Context |
| addCLoc | HERMIT.GHC |
| addDefBinding | HERMIT.Context |
| addDefBindingsExcept | HERMIT.Context |
| addEpsInStats | HERMIT.GHC |
| addFocusR | HERMIT.Shell.Types |
| addFocusT | HERMIT.Shell.Types |
| addForallBinding | HERMIT.Context |
| addHermitBindings | HERMIT.Context |
| addIdSpecialisations | HERMIT.GHC |
| addInScopeSet | HERMIT.GHC |
| addLambdaBinding | HERMIT.Context |
| addLemma | HERMIT.Monad |
| addListToNameSet | HERMIT.GHC |
| addListToUFM | HERMIT.GHC |
| addListToUFM_C | HERMIT.GHC |
| addListToUFM_Directly | HERMIT.GHC |
| addListToUniqSet | HERMIT.GHC |
| AddObligation | HERMIT.Monad |
| addOneFV | HERMIT.GHC |
| addOneToNameSet | HERMIT.GHC |
| addOneToUniqSet | HERMIT.GHC |
| addOneToUniqSet_C | HERMIT.GHC |
| addRnInScopeSet | HERMIT.GHC |
| AddrRep | HERMIT.GHC |
| addScriptToDict | HERMIT.Shell.ScriptToRewrite |
| addSimplCount | HERMIT.GHC |
| addSpecInfo | HERMIT.GHC |
| addToDictionary | HERMIT.Shell.Dictionary |
| addToUFM | HERMIT.GHC |
| addToUFM_Acc | HERMIT.GHC |
| addToUFM_C | HERMIT.GHC |
| addToUFM_Directly | HERMIT.GHC |
| addWay' | HERMIT.GHC |
| adjustUFM | HERMIT.GHC |
| adjustUFM_Directly | HERMIT.GHC |
| advanceSrcLoc | HERMIT.GHC |
| after | HERMIT.Plugin |
| afterBiR | HERMIT.Kure |
| AlgTyConRhs | HERMIT.GHC |
| algTyConRhs | HERMIT.GHC |
| Alignment | HERMIT.GHC |
| all2 | HERMIT.GHC |
| AllBinders | HERMIT.Dictionary.Inline, HERMIT.Dictionary |
| allbuR | HERMIT.Kure |
| allduR | HERMIT.Kure |
| allFlags | HERMIT.GHC |
| allLargestR | HERMIT.Kure |
| allLargestT | HERMIT.Kure |
| allNameSpaces | HERMIT.Name |
| allPasses | HERMIT.Plugin |
| allR | HERMIT.Kure |
| allT | HERMIT.Kure |
| alltdR | HERMIT.Kure |
| AllTheWay | HERMIT.GHC |
| allUses | HERMIT.GHC |
| alphaAltR | HERMIT.Dictionary.AlphaConversion, HERMIT.Dictionary |
| alphaAltVarsR | HERMIT.Dictionary.AlphaConversion, HERMIT.Dictionary |
| alphaAltWithR | HERMIT.Dictionary.AlphaConversion, HERMIT.Dictionary |
| alphaCaseBinderR | HERMIT.Dictionary.AlphaConversion, HERMIT.Dictionary |
| alphaCaseR | HERMIT.Dictionary.AlphaConversion, HERMIT.Dictionary |
| alphaLamR | HERMIT.Dictionary.AlphaConversion, HERMIT.Dictionary |
| alphaLetR | HERMIT.Dictionary.AlphaConversion, HERMIT.Dictionary |
| alphaLetVarsR | HERMIT.Dictionary.AlphaConversion, HERMIT.Dictionary |
| alphaLetWithR | HERMIT.Dictionary.AlphaConversion, HERMIT.Dictionary |
| alphaProgConsIdsR | HERMIT.Dictionary.AlphaConversion, HERMIT.Dictionary |
| alphaProgConsR | HERMIT.Dictionary.AlphaConversion, HERMIT.Dictionary |
| alphaProgConsWithR | HERMIT.Dictionary.AlphaConversion, HERMIT.Dictionary |
| alphaProgR | HERMIT.Dictionary.AlphaConversion, HERMIT.Dictionary |
| alphaR | HERMIT.Dictionary.AlphaConversion, HERMIT.Dictionary |
| alphaTyVars | HERMIT.GHC |
| Alt | HERMIT.GHC |
| altAllR | HERMIT.Kure |
| altAlphaEq | HERMIT.Core |
| altAnyR | HERMIT.Kure |
| AltCon | HERMIT.GHC |
| AltCore | HERMIT.Kure.Universes, HERMIT.Kure |
| alterNameEnv | HERMIT.GHC |
| Alternative | HERMIT.Dictionary.Inline, HERMIT.Dictionary |
| alterOccEnv | HERMIT.GHC |
| alterUFM | HERMIT.GHC |
| alterVarEnv | HERMIT.GHC |
| AltMerge | HERMIT.GHC |
| altOneR | HERMIT.Kure |
| altSyntaxEq | HERMIT.Core |
| altT | HERMIT.Kure |
| altVars | HERMIT.Core |
| Alt_Con | HERMIT.Core |
| Alt_RHS | HERMIT.Core |
| Alt_Var | HERMIT.Core |
| Always | HERMIT.Kernel |
| AlwaysActive | HERMIT.GHC |
| alwaysInlinePragma | HERMIT.GHC |
| alwaysQualify | HERMIT.GHC |
| alwaysQualifyModules | HERMIT.GHC |
| alwaysQualifyNames | HERMIT.GHC |
| AmbigOrigin | HERMIT.GHC |
| andP | HERMIT.Lemma |
| andR | HERMIT.Kure |
| angleBrackets | HERMIT.GHC |
| AnId | HERMIT.GHC |
| AnnAlt | HERMIT.GHC |
| AnnApp | HERMIT.GHC |
| AnnBind | HERMIT.GHC |
| AnnCase | HERMIT.GHC |
| AnnCast | HERMIT.GHC |
| AnnCoercion | HERMIT.GHC |
| AnnEnv | HERMIT.GHC |
| AnnExpr | HERMIT.GHC |
| AnnExpr' | HERMIT.GHC |
| AnnLam | HERMIT.GHC |
| AnnLet | HERMIT.GHC |
| AnnLit | HERMIT.GHC |
| AnnNonRec | HERMIT.GHC |
| AnnOrigin | HERMIT.GHC |
| Annotation | |
| 1 (Data Constructor) | HERMIT.GHC |
| 2 (Type/Class) | HERMIT.GHC |
| announceUnprovens | HERMIT.Shell.Types |
| AnnPayload | HERMIT.GHC |
| AnnRec | HERMIT.GHC |
| AnnTarget | HERMIT.GHC |
| AnnTick | HERMIT.GHC |
| AnnType | HERMIT.GHC |
| AnnVar | HERMIT.GHC |
| ann_target | HERMIT.GHC |
| ann_value | HERMIT.GHC |
| anybuR | HERMIT.Kure |
| anyCallR | HERMIT.Dictionary.Kure, HERMIT.Dictionary |
| anyduR | HERMIT.Kure |
| AnyHpcUsage | HERMIT.GHC |
| anyKind | HERMIT.GHC |
| anyKindTyCon | HERMIT.GHC |
| anyLargestR | HERMIT.Kure |
| AnyR | HERMIT.Kure |
| anyR | HERMIT.Kure |
| anytdR | HERMIT.Kure |
| App | HERMIT.GHC |
| appAllR | HERMIT.Kure |
| appAnyR | HERMIT.Kure |
| appArgM | HERMIT.Dictionary.Function, HERMIT.Dictionary |
| AppCo | HERMIT.GHC |
| appCoAllR | HERMIT.Kure |
| appCoAnyR | HERMIT.Kure |
| appCoOneR | HERMIT.Kure |
| appCoT | HERMIT.Kure |
| appCount | HERMIT.Core |
| AppCo_Arg | HERMIT.Core |
| AppCo_Fun | HERMIT.Core |
| appendFS | HERMIT.GHC |
| appendStubC | HERMIT.GHC |
| AppH | HERMIT.Parser |
| AppleClang | HERMIT.GHC |
| AppleClang51 | HERMIT.GHC |
| Application | HERMIT.Dictionary.Navigation, HERMIT.Dictionary |
| apply | |
| 1 (Function) | HERMIT.Kure |
| 2 (Function) | HERMIT.Plugin |
| applyCo | HERMIT.GHC |
| applyInContextT | HERMIT.Dictionary.Common, HERMIT.Dictionary |
| applyK | HERMIT.Kernel |
| applyR | HERMIT.Kure |
| applyRewrite | HERMIT.Shell.KernelEffect |
| applyT | HERMIT.Kure |
| applyToUndefinedT | HERMIT.Dictionary.Undefined, HERMIT.Dictionary |
| applyTy | HERMIT.GHC |
| applyTypeToArg | HERMIT.GHC |
| applyTypeToArgs | HERMIT.GHC |
| applyTys | HERMIT.GHC |
| applyTysD | HERMIT.GHC |
| appOneR | HERMIT.Kure |
| AppOrigin | HERMIT.GHC |
| appT | HERMIT.Kure |
| AppTy | HERMIT.GHC |
| appTyAllR | HERMIT.Kure |
| appTyAnyR | HERMIT.Kure |
| appTyOneR | HERMIT.Kure |
| appTyT | HERMIT.Kure |
| AppTy_Arg | HERMIT.Core |
| AppTy_Fun | HERMIT.Core |
| App_Arg | HERMIT.Core |
| App_Fun | HERMIT.Core |
| aP_STACK_SPLIM | HERMIT.GHC |
| Arg | HERMIT.GHC |
| argument | HERMIT.Kure |
| ArithSeqOrigin | HERMIT.GHC |
| Arity | HERMIT.GHC |
| ArityInfo | HERMIT.GHC |
| arityInfo | HERMIT.GHC |
| arityOf | HERMIT.Dictionary.GHC, HERMIT.Dictionary |
| arrow | HERMIT.GHC |
| ArrowSkol | HERMIT.GHC |
| ASCII | |
| 1 (Type/Class) | HERMIT.PrettyPrinter.Common |
| 2 (Data Constructor) | HERMIT.PrettyPrinter.Common |
| AsmStyle | HERMIT.GHC |
| asmStyle | HERMIT.GHC |
| assertPanic | HERMIT.GHC |
| assertPprPanic | HERMIT.GHC |
| AssocFamilyTyCon | HERMIT.GHC |
| Assumed | HERMIT.Lemma |
| assumptionAClauseT | HERMIT.Dictionary.WorkerWrapper.Common, HERMIT.Dictionary |
| assumptionBClauseT | HERMIT.Dictionary.WorkerWrapper.Common, HERMIT.Dictionary |
| assumptionCClauseT | HERMIT.Dictionary.WorkerWrapper.Common, HERMIT.Dictionary |
| AST | HERMIT.Kernel |
| ASTMap | HERMIT.Kernel |
| atLength | HERMIT.GHC |
| attemptM | HERMIT.Kure |
| Attr | HERMIT.PrettyPrinter.Common |
| attrP | HERMIT.PrettyPrinter.Common |
| ATyCon | HERMIT.GHC |
| author | HERMIT.GHC |
| avx | HERMIT.GHC |
| avx2 | HERMIT.GHC |
| avx512cd | HERMIT.GHC |
| avx512er | HERMIT.GHC |
| avx512f | HERMIT.GHC |
| avx512pf | HERMIT.GHC |
| AxiomInstCo | HERMIT.GHC |
| axiomInstCoAllR | HERMIT.Kure |
| axiomInstCoAnyR | HERMIT.Kure |
| axiomInstCoOneR | HERMIT.Kure |
| axiomInstCoT | HERMIT.Kure |
| AxiomInstCo_Arg | HERMIT.Core |
| AxiomInstCo_Axiom | HERMIT.Core |
| AxiomInstCo_Index | HERMIT.Core |
| AxiomRuleCo | HERMIT.GHC |