| .& | Language.HERMIT.External |
| .+ | Language.HERMIT.External |
| .|| | Language.HERMIT.External |
| <+ | Language.HERMIT.Kure |
| >+> | Language.HERMIT.Kure |
| @@ | Language.HERMIT.Kure |
| abortK | Language.HERMIT.Kernel |
| abortS | Language.HERMIT.Kernel.Scoped |
| AbsolutePath | Language.HERMIT.Kure |
| absPath | Language.HERMIT.Kure |
| absPathT | Language.HERMIT.Kure |
| Abstract | Language.HERMIT.PrettyPrinter.Common |
| abstract | Language.HERMIT.Primitive.Local |
| accepterR | Language.HERMIT.Kure |
| acceptR | Language.HERMIT.Kure |
| addAltBindings | Language.HERMIT.Context |
| addBinding | Language.HERMIT.Context |
| addCaseBinding | Language.HERMIT.Context |
| addLambdaBinding | Language.HERMIT.Context |
| after | Language.HERMIT.Optimize |
| allbuR | Language.HERMIT.Kure |
| allduR | Language.HERMIT.Kure |
| allLargestR | Language.HERMIT.Kure |
| allLargestT | Language.HERMIT.Kure |
| allPhases | Language.HERMIT.Optimize |
| allR | Language.HERMIT.Kure |
| allT | Language.HERMIT.Kure |
| alltdR | Language.HERMIT.Kure |
| all_externals | Language.HERMIT.Dictionary |
| alpha | Language.HERMIT.Primitive.AlphaConversion |
| alphaAlt | Language.HERMIT.Primitive.AlphaConversion |
| alphaAltVars | Language.HERMIT.Primitive.AlphaConversion |
| alphaAltWith | Language.HERMIT.Primitive.AlphaConversion |
| alphaCase | Language.HERMIT.Primitive.AlphaConversion |
| alphaCaseBinder | Language.HERMIT.Primitive.AlphaConversion |
| alphaConsWith | Language.HERMIT.Primitive.AlphaConversion |
| alphaLam | Language.HERMIT.Primitive.AlphaConversion |
| alphaLet | Language.HERMIT.Primitive.AlphaConversion |
| alphaLetVars | Language.HERMIT.Primitive.AlphaConversion |
| alphaLetWith | Language.HERMIT.Primitive.AlphaConversion |
| alphaTyVars | Language.HERMIT.GHC |
| AltCore | Language.HERMIT.Core |
| altFreeVarsExclWildT | Language.HERMIT.Primitive.GHC |
| altFreeVarsT | Language.HERMIT.Primitive.GHC |
| altR | Language.HERMIT.Kure |
| altT | Language.HERMIT.Kure |
| altVarsT | Language.HERMIT.Primitive.Common |
| andR | Language.HERMIT.Kure |
| anybuR | Language.HERMIT.Kure |
| anyCallR | Language.HERMIT.Primitive.New |
| anyduR | Language.HERMIT.Kure |
| anyLargestR | Language.HERMIT.Kure |
| AnyR | Language.HERMIT.Kure |
| anyR | Language.HERMIT.Kure |
| anytdR | Language.HERMIT.Kure |
| appAllR | Language.HERMIT.Kure |
| appAnyR | Language.HERMIT.Kure |
| appCount | Language.HERMIT.Core |
| AppH | Language.HERMIT.Parser |
| Application | Language.HERMIT.Primitive.Navigation |
| apply | Language.HERMIT.Kure |
| applyInContextT | Language.HERMIT.Primitive.Common |
| applyK | Language.HERMIT.Kernel |
| applyS | Language.HERMIT.Kernel.Scoped |
| appOneR | Language.HERMIT.Kure |
| appT | Language.HERMIT.Kure |
| AppTy | Language.HERMIT.GHC |
| argument | Language.HERMIT.Kure |
| ASCII | |
| 1 (Type/Class) | Language.HERMIT.PrettyPrinter.Common |
| 2 (Data Constructor) | Language.HERMIT.PrettyPrinter.Common |
| AST | Language.HERMIT.Kernel |
| at | Language.HERMIT.Optimize |
| attemptM | Language.HERMIT.Kure |
| Attr | Language.HERMIT.PrettyPrinter.Common |
| attr | Language.HERMIT.PrettyPrinter.Common |
| attrP | Language.HERMIT.PrettyPrinter.Common |
| backwardT | Language.HERMIT.Kure |
| Bash | Language.HERMIT.External |
| before | Language.HERMIT.Optimize |
| beforeBiR | Language.HERMIT.Kure |
| beginScopeS | Language.HERMIT.Kernel.Scoped |
| betaExpand | Language.HERMIT.Primitive.Local |
| betaReduce | Language.HERMIT.Primitive.Local |
| betaReducePlus | Language.HERMIT.Primitive.Local |
| bidirectional | Language.HERMIT.Kure |
| bidirectionalL | Language.HERMIT.Kure |
| BIND | Language.HERMIT.Context |
| BindCore | Language.HERMIT.Core |
| bindGroup | Language.HERMIT.Primitive.Navigation |
| Binding | Language.HERMIT.Primitive.Navigation |
| bindingGroupOf | Language.HERMIT.Primitive.Navigation |
| bindsToProg | Language.HERMIT.Core |
| bindToIdExprs | Language.HERMIT.Core |
| bindVarsT | Language.HERMIT.Primitive.Common |
| BiRewrite | Language.HERMIT.Kure |
| BiRewriteCoreBox | |
| 1 (Type/Class) | Language.HERMIT.External |
| 2 (Data Constructor) | Language.HERMIT.External |
| BiRewriteH | Language.HERMIT.Kure |
| BiTranslate | Language.HERMIT.Kure |
| boundIn | Language.HERMIT.Context |
| boundVars | Language.HERMIT.Context |
| boundVarsT | Language.HERMIT.Primitive.Common |
| Box | Language.HERMIT.External |
| box | Language.HERMIT.External |
| callDataConNameT | Language.HERMIT.Primitive.Common |
| callDataConT | Language.HERMIT.Primitive.Common |
| callNameG | Language.HERMIT.Primitive.Common |
| callNameT | Language.HERMIT.Primitive.Common |
| callPredT | Language.HERMIT.Primitive.Common |
| callSaturatedT | Language.HERMIT.Primitive.Common |
| callsR | Language.HERMIT.Primitive.Common |
| callsT | Language.HERMIT.Primitive.Common |
| callT | Language.HERMIT.Primitive.Common |
| CASE | Language.HERMIT.Context |
| caseAllR | Language.HERMIT.Kure |
| CaseAlt | Language.HERMIT.Primitive.Navigation |
| caseAltAllR | Language.HERMIT.Kure |
| caseAltAnyR | Language.HERMIT.Kure |
| caseAltOneR | Language.HERMIT.Kure |
| caseAltT | Language.HERMIT.Kure |
| caseAltVarsT | Language.HERMIT.Primitive.Common |
| caseAnyR | Language.HERMIT.Kure |
| caseFloat | Language.HERMIT.Primitive.Local.Case, Language.HERMIT.Primitive.Local |
| caseFloatApp | Language.HERMIT.Primitive.Local.Case, Language.HERMIT.Primitive.Local |
| caseFloatArg | Language.HERMIT.Primitive.Local.Case, Language.HERMIT.Primitive.Local |
| caseFloatCase | Language.HERMIT.Primitive.Local.Case, Language.HERMIT.Primitive.Local |
| caseFloatCast | Language.HERMIT.Primitive.Local.Case, Language.HERMIT.Primitive.Local |
| caseFloatLet | Language.HERMIT.Primitive.Local.Case, Language.HERMIT.Primitive.Local |
| CaseOf | Language.HERMIT.Primitive.Navigation |
| caseOneR | Language.HERMIT.Kure |
| caseReduce | Language.HERMIT.Primitive.Local.Case, Language.HERMIT.Primitive.Local |
| caseReduceDatacon | Language.HERMIT.Primitive.Local.Case, Language.HERMIT.Primitive.Local |
| caseReduceLiteral | Language.HERMIT.Primitive.Local.Case, Language.HERMIT.Primitive.Local |
| caseSplit | Language.HERMIT.Primitive.Local.Case, Language.HERMIT.Primitive.Local |
| caseSplitInline | Language.HERMIT.Primitive.Local.Case, Language.HERMIT.Primitive.Local |
| caseT | Language.HERMIT.Kure |
| caseUnfloat | Language.HERMIT.Primitive.Local.Case, Language.HERMIT.Primitive.Local |
| caseUnfloatApp | Language.HERMIT.Primitive.Local.Case, Language.HERMIT.Primitive.Local |
| caseUnfloatArgs | Language.HERMIT.Primitive.Local.Case, Language.HERMIT.Primitive.Local |
| caseVarsT | Language.HERMIT.Primitive.Common |
| caseWildIdT | Language.HERMIT.Primitive.Common |
| castElimRefl | Language.HERMIT.Primitive.Local.Cast, Language.HERMIT.Primitive.Local |
| castElimSym | Language.HERMIT.Primitive.Local.Cast, Language.HERMIT.Primitive.Local |
| castElimSymPlus | Language.HERMIT.Primitive.Local.Cast, Language.HERMIT.Primitive.Local |
| castFloatApp | Language.HERMIT.Primitive.Local.Cast, Language.HERMIT.Primitive.Local |
| castR | Language.HERMIT.Kure |
| CastSymbol | Language.HERMIT.PrettyPrinter.Common |
| castT | Language.HERMIT.Kure |
| Casty | Language.HERMIT.Primitive.Navigation |
| catchesM | Language.HERMIT.Kure |
| catchesT | Language.HERMIT.Kure |
| catchL | Language.HERMIT.Kure |
| catchM | Language.HERMIT.Kure |
| changedR | Language.HERMIT.Kure |
| childL | Language.HERMIT.Kure |
| childR | Language.HERMIT.Kure |
| childT | Language.HERMIT.Kure |
| cleanupUnfoldR | Language.HERMIT.Primitive.Unfold |
| cloneVarH | Language.HERMIT.Monad |
| CmdName | Language.HERMIT.Parser |
| CmdTag | Language.HERMIT.External |
| cmpString2Name | Language.HERMIT.GHC |
| cmpString2Var | Language.HERMIT.GHC |
| cmpTHName2Name | Language.HERMIT.GHC |
| cmpTHName2Var | Language.HERMIT.GHC |
| Coerce | Language.HERMIT.Primitive.Navigation |
| CoercionBindSymbol | Language.HERMIT.PrettyPrinter.Common |
| CoercionColor | Language.HERMIT.PrettyPrinter.Common |
| coercionColor | Language.HERMIT.PrettyPrinter.Common |
| CoercionSymbol | Language.HERMIT.PrettyPrinter.Common |
| coercionT | Language.HERMIT.Kure |
| collectLets | Language.HERMIT.Primitive.New |
| collectPruneT | Language.HERMIT.Kure |
| collectT | Language.HERMIT.Kure |
| Color | Language.HERMIT.PrettyPrinter.Common |
| commandLine | Language.HERMIT.Shell.Command |
| Commute | Language.HERMIT.External |
| Considerable | Language.HERMIT.Primitive.Navigation |
| considerables | Language.HERMIT.Primitive.Navigation |
| considerConstructT | Language.HERMIT.Primitive.Navigation |
| considerName | Language.HERMIT.Primitive.Navigation |
| considerTargets | Language.HERMIT.Primitive.Navigation |
| consIdsT | Language.HERMIT.Primitive.Common |
| consNonRecAllR | Language.HERMIT.Kure |
| consNonRecAnyR | Language.HERMIT.Kure |
| consNonRecIdT | Language.HERMIT.Primitive.Common |
| consNonRecOneR | Language.HERMIT.Kure |
| consNonRecT | Language.HERMIT.Kure |
| consRecAllR | Language.HERMIT.Kure |
| consRecAnyR | Language.HERMIT.Kure |
| consRecDefAllR | Language.HERMIT.Kure |
| consRecDefAnyR | Language.HERMIT.Kure |
| consRecDefOneR | Language.HERMIT.Kure |
| consRecDefT | Language.HERMIT.Kure |
| consRecIdsT | Language.HERMIT.Primitive.Common |
| consRecOneR | Language.HERMIT.Kure |
| consRecT | Language.HERMIT.Kure |
| constant | Language.HERMIT.Kure |
| constT | Language.HERMIT.Kure |
| Context | Language.HERMIT.External |
| contextfreeT | Language.HERMIT.Kure |
| contextonlyT | Language.HERMIT.Kure |
| contextT | Language.HERMIT.Kure |
| Core | Language.HERMIT.Core |
| CoreBox | |
| 1 (Type/Class) | Language.HERMIT.External |
| 2 (Data Constructor) | Language.HERMIT.External |
| CoreDef | Language.HERMIT.Core |
| coreEqual | Language.HERMIT.Primitive.GHC |
| coreExprFreeIds | Language.HERMIT.Primitive.GHC |
| coreExprFreeVars | Language.HERMIT.Primitive.GHC |
| CoreH | Language.HERMIT.Parser |
| CorePass | Language.HERMIT.Plugin |
| corePrettyH | |
| 1 (Function) | Language.HERMIT.PrettyPrinter.AST |
| 2 (Function) | Language.HERMIT.PrettyPrinter.Clean |
| 3 (Function) | Language.HERMIT.PrettyPrinter.GHC |
| CoreProg | Language.HERMIT.Core |
| coreRenders | Language.HERMIT.PrettyPrinter.Common |
| CoreString | |
| 1 (Type/Class) | Language.HERMIT.External |
| 2 (Data Constructor) | Language.HERMIT.External |
| CoreTickish | Language.HERMIT.Core |
| crushbuT | Language.HERMIT.Kure |
| crushtdT | Language.HERMIT.Kure |
| CSE | Language.HERMIT.Plugin |
| D | Language.HERMIT.Kernel.Scoped |
| Debug | Language.HERMIT.External |
| DebugCore | Language.HERMIT.Monad |
| DebugMessage | Language.HERMIT.Monad |
| DebugPretty | |
| 1 (Type/Class) | Language.HERMIT.PrettyPrinter.Common |
| 2 (Data Constructor) | Language.HERMIT.PrettyPrinter.Common |
| DebugTick | Language.HERMIT.Monad |
| Deep | Language.HERMIT.External |
| Def | Language.HERMIT.Core |
| DefCore | Language.HERMIT.Core |
| defIdT | Language.HERMIT.Primitive.Common |
| Definition | Language.HERMIT.Primitive.Navigation |
| defR | Language.HERMIT.Kure |
| DefStash | Language.HERMIT.Monad |
| defsToRecBind | Language.HERMIT.Core |
| defT | Language.HERMIT.Kure |
| defToIdExpr | Language.HERMIT.Core |
| deleteK | Language.HERMIT.Kernel |
| deleteS | Language.HERMIT.Kernel.Scoped |
| Desugar | Language.HERMIT.Plugin |
| DesugarOpt | Language.HERMIT.Plugin |
| Dictionary | Language.HERMIT.Dictionary |
| dictionary | Language.HERMIT.Dictionary |
| dictionaryOfTags | Language.HERMIT.External |
| Direction | Language.HERMIT.Kernel.Scoped |
| display | Language.HERMIT.Optimize |
| DocH | Language.HERMIT.PrettyPrinter.Common |
| endoFunType | Language.HERMIT.Core |
| endScopeS | Language.HERMIT.Kernel.Scoped |
| equivalent | Language.HERMIT.Primitive.GHC |
| etaExpand | Language.HERMIT.Primitive.Local |
| etaReduce | Language.HERMIT.Primitive.Local |
| Eval | Language.HERMIT.External |
| exhaustPathL | Language.HERMIT.Kure |
| Experiment | Language.HERMIT.External |
| exposeT | Language.HERMIT.Kure |
| exprArity | Language.HERMIT.GHC |
| ExprCore | Language.HERMIT.Core |
| exprEqual | Language.HERMIT.Primitive.GHC |
| ExprH | Language.HERMIT.Parser |
| exprsEqual | Language.HERMIT.Primitive.GHC |
| exprTypeOrKind | Language.HERMIT.Core |
| extendLocalPath | Language.HERMIT.Kernel.Scoped |
| Extern | Language.HERMIT.External |
| External | Language.HERMIT.External |
| external | Language.HERMIT.External |
| ExternalHelp | Language.HERMIT.External |
| ExternalName | Language.HERMIT.External |
| externals | |
| 1 (Function) | Language.HERMIT.Primitive.Kure |
| 2 (Function) | Language.HERMIT.Primitive.Navigation |
| 3 (Function) | Language.HERMIT.Primitive.Debug |
| 4 (Function) | Language.HERMIT.Primitive.GHC |
| 5 (Function) | Language.HERMIT.Primitive.AlphaConversion |
| 6 (Function) | Language.HERMIT.Primitive.Inline |
| 7 (Function) | Language.HERMIT.Primitive.Fold |
| 8 (Function) | Language.HERMIT.Primitive.Unfold |
| 9 (Function) | Language.HERMIT.Primitive.Local.Case |
| 10 (Function) | Language.HERMIT.Primitive.Local.Cast |
| 11 (Function) | Language.HERMIT.Primitive.Local.Let |
| 12 (Function) | Language.HERMIT.Primitive.Local |
| 13 (Function) | Language.HERMIT.Primitive.New |
| 14 (Function) | Language.HERMIT.Primitive.FixPoint |
| externFun | Language.HERMIT.External |
| externHelp | Language.HERMIT.External |
| externName | Language.HERMIT.External |
| externTags | Language.HERMIT.External |
| extractR | Language.HERMIT.Kure |
| extractT | Language.HERMIT.Kure |
| extractWithFailMsgR | Language.HERMIT.Kure |
| failL | Language.HERMIT.Kure |
| findBoundVars | Language.HERMIT.Context |
| findBoundVarT | Language.HERMIT.Primitive.Common |
| findId | Language.HERMIT.Primitive.Common |
| findIdT | Language.HERMIT.Primitive.Common |
| findNameFromTH | Language.HERMIT.GHC |
| fixComputationRule | Language.HERMIT.Primitive.FixPoint |
| fixIntro | Language.HERMIT.Primitive.FixPoint |
| flattenModule | Language.HERMIT.Primitive.Local |
| flattenProgramR | Language.HERMIT.Primitive.Local |
| flattenProgramT | Language.HERMIT.Primitive.Local |
| FloatInwards | Language.HERMIT.Plugin |
| FloatOutwards | Language.HERMIT.Plugin |
| focusR | Language.HERMIT.Kure |
| focusT | Language.HERMIT.Kure |
| foldbuT | Language.HERMIT.Kure |
| foldR | Language.HERMIT.Primitive.Fold |
| foldtdT | Language.HERMIT.Kure |
| ForallSymbol | Language.HERMIT.PrettyPrinter.Common |
| ForAllTy | Language.HERMIT.GHC |
| forewardT | Language.HERMIT.Kure |
| fork | Language.HERMIT.Kure |
| forkFirst | Language.HERMIT.Kure |
| forkSecond | Language.HERMIT.Kure |
| freeIdsT | Language.HERMIT.Primitive.GHC |
| freeVarsT | Language.HERMIT.Primitive.GHC |
| freshNameGenAvoiding | Language.HERMIT.Primitive.AlphaConversion |
| freshNameGenT | Language.HERMIT.Primitive.AlphaConversion |
| fromKureM | Language.HERMIT.Kure |
| funArgResTypes | Language.HERMIT.Core |
| funsWithInverseTypes | Language.HERMIT.Core |
| FunTy | Language.HERMIT.GHC |
| getCorePass | Language.HERMIT.Plugin |
| getStash | Language.HERMIT.Monad |
| getUnfolding | Language.HERMIT.Primitive.Inline |
| ghcCorePrettyH | Language.HERMIT.PrettyPrinter.Common |
| GhcException | Language.HERMIT.GHC |
| ghcFlags | HERMIT.Driver |
| ghcPasses | Language.HERMIT.Plugin |
| guardM | Language.HERMIT.Kure |
| guardMsg | Language.HERMIT.Kure |
| guardMsgM | Language.HERMIT.Kure |
| guardT | Language.HERMIT.Kure |
| GutsCore | Language.HERMIT.Core |
| hasChildT | Language.HERMIT.Kure |
| HermitBinding | Language.HERMIT.Context |
| hermitBindingDepth | Language.HERMIT.Context |
| hermitBindings | Language.HERMIT.Context |
| HermitC | Language.HERMIT.Context |
| hermitDepth | Language.HERMIT.Context |
| hermitKernel | Language.HERMIT.Kernel |
| HermitM | Language.HERMIT.Monad |
| HermitMark | Language.HERMIT.PrettyPrinter.Common |
| HermitMEnv | |
| 1 (Type/Class) | Language.HERMIT.Monad |
| 2 (Data Constructor) | Language.HERMIT.Monad |
| hermitModGuts | Language.HERMIT.Context |
| HermitPass | Language.HERMIT.Plugin |
| hermitPath | Language.HERMIT.Context |
| hermitPlugin | Language.HERMIT.Plugin |
| hermit_version | HERMIT.Driver |
| hlist | Language.HERMIT.PrettyPrinter.Common |
| hs_debugChan | Language.HERMIT.Monad |
| HTML | |
| 1 (Type/Class) | Language.HERMIT.PrettyPrinter.Common |
| 2 (Data Constructor) | Language.HERMIT.PrettyPrinter.Common |
| IdColor | Language.HERMIT.PrettyPrinter.Common |
| idColor | Language.HERMIT.PrettyPrinter.Common |
| idR | Language.HERMIT.Kure |
| ifM | Language.HERMIT.Kure |
| initHermitC | Language.HERMIT.Context |
| inject | Language.HERMIT.Kure |
| Injection | Language.HERMIT.Kure |
| injectL | Language.HERMIT.Kure |
| injectM | Language.HERMIT.Kure |
| injectT | Language.HERMIT.Kure |
| inline | Language.HERMIT.Primitive.Inline |
| inlineAll | Language.HERMIT.Primitive.New |
| inlineCaseBinder | Language.HERMIT.Primitive.Inline |
| inlineName | Language.HERMIT.Primitive.Inline |
| inlineScrutinee | Language.HERMIT.Primitive.Inline |
| inlineTargets | Language.HERMIT.Primitive.Inline |
| innermostR | Language.HERMIT.Kure |
| inScope | Language.HERMIT.Primitive.GHC |
| IntBox | |
| 1 (Type/Class) | Language.HERMIT.External |
| 2 (Data Constructor) | Language.HERMIT.External |
| interactive | |
| 1 (Function) | Language.HERMIT.Shell.Command |
| 2 (Function) | Language.HERMIT.Optimize |
| Interp | Language.HERMIT.Interp |
| interp | Language.HERMIT.Interp |
| interpExprH | Language.HERMIT.Interp |
| Introduce | Language.HERMIT.External |
| invertBiT | Language.HERMIT.Kure |
| isCoArg | Language.HERMIT.Core |
| isVar | Language.HERMIT.Primitive.New |
| joinT | Language.HERMIT.Kure |
| Kernel | Language.HERMIT.Kernel |
| kernelS | Language.HERMIT.Kernel.Scoped |
| KeywordColor | Language.HERMIT.PrettyPrinter.Common |
| keywordColor | Language.HERMIT.PrettyPrinter.Common |
| Kind | Language.HERMIT.PrettyPrinter.Common |
| KURE | Language.HERMIT.External |
| KureM | Language.HERMIT.Kure |
| L | Language.HERMIT.Kernel.Scoped |
| Label | Language.HERMIT.Monad |
| LAM | Language.HERMIT.Context |
| Lambda | Language.HERMIT.Primitive.Navigation |
| LambdaSymbol | Language.HERMIT.PrettyPrinter.Common |
| lamR | Language.HERMIT.Kure |
| lamT | Language.HERMIT.Kure |
| lamVarT | Language.HERMIT.Primitive.Common |
| LaTeX | |
| 1 (Type/Class) | Language.HERMIT.PrettyPrinter.Common |
| 2 (Data Constructor) | Language.HERMIT.PrettyPrinter.Common |
| latexToString | Language.HERMIT.PrettyPrinter.Common |
| latexVerbatim | Language.HERMIT.PrettyPrinter.Common |
| Lens | Language.HERMIT.Kure |
| lens | Language.HERMIT.Kure |
| LensH | Language.HERMIT.Kure |
| lensT | Language.HERMIT.Kure |
| letAllR | Language.HERMIT.Kure |
| letAnyR | Language.HERMIT.Kure |
| letElim | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| letFloatApp | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| letFloatArg | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| letFloatCase | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| letFloatCast | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| letFloatExpr | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| letFloatLam | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| letFloatLet | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| letFloatLetTop | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| LetIn | Language.HERMIT.Primitive.Navigation |
| letIntro | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| letNonRecAllR | Language.HERMIT.Kure |
| letNonRecAnyR | Language.HERMIT.Kure |
| letNonRecElim | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| letNonRecOneR | Language.HERMIT.Kure |
| letNonRecT | Language.HERMIT.Kure |
| letNonRecVarT | Language.HERMIT.Primitive.Common |
| letOneR | Language.HERMIT.Kure |
| letRecAllR | Language.HERMIT.Kure |
| letRecAnyR | Language.HERMIT.Kure |
| letRecDefAllR | Language.HERMIT.Kure |
| letRecDefAnyR | Language.HERMIT.Kure |
| letRecDefOneR | Language.HERMIT.Kure |
| letRecDefT | Language.HERMIT.Kure |
| letRecElim | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| letRecIdsT | Language.HERMIT.Primitive.Common |
| letRecOneR | Language.HERMIT.Kure |
| letRecT | Language.HERMIT.Kure |
| letSubstR | Language.HERMIT.Primitive.GHC |
| letT | Language.HERMIT.Kure |
| letToCase | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| letTupleR | Language.HERMIT.Primitive.New |
| letUnfloat | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| letUnfloatApp | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| letUnfloatCase | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| letUnfloatLam | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| letVarsT | Language.HERMIT.Primitive.Common |
| LiberateCase | Language.HERMIT.Plugin |
| liftCoreM | Language.HERMIT.Monad |
| lintExprT | Language.HERMIT.Primitive.GHC |
| lintModuleT | Language.HERMIT.Primitive.GHC |
| lintProgramT | Language.HERMIT.Primitive.GHC |
| ListH | Language.HERMIT.Parser |
| listify | Language.HERMIT.PrettyPrinter.Common |
| listK | Language.HERMIT.Kernel |
| listS | Language.HERMIT.Kernel.Scoped |
| LitColor | Language.HERMIT.PrettyPrinter.Common |
| Literal | Language.HERMIT.Primitive.Navigation |
| litT | Language.HERMIT.Kure |
| LitTy | Language.HERMIT.GHC |
| LocalPath | Language.HERMIT.Kernel.Scoped |
| lookupDef | Language.HERMIT.Monad |
| lookupHermitBinding | Language.HERMIT.Context |
| Loop | Language.HERMIT.External |
| mapAlts | Language.HERMIT.Primitive.Common |
| mapT | Language.HERMIT.Kure |
| markColor | Language.HERMIT.PrettyPrinter.Common |
| metaCmd | Language.HERMIT.Dictionary |
| mkHermitMEnv | Language.HERMIT.Monad |
| modFailMsg | Language.HERMIT.Kure |
| modGutsR | Language.HERMIT.Kure |
| modGutsT | Language.HERMIT.Kure |
| modPathS | Language.HERMIT.Kernel.Scoped |
| MonadCatch | Language.HERMIT.Kure |
| moveLocally | Language.HERMIT.Kernel.Scoped |
| mtryM | Language.HERMIT.Kure |
| multiEtaExpand | Language.HERMIT.Primitive.Local |
| name2THName | Language.HERMIT.GHC |
| NameBox | |
| 1 (Type/Class) | Language.HERMIT.External |
| 2 (Data Constructor) | Language.HERMIT.External |
| namedBinding | Language.HERMIT.Primitive.Navigation |
| NameListBox | |
| 1 (Type/Class) | Language.HERMIT.External |
| 2 (Data Constructor) | Language.HERMIT.External |
| Navigation | Language.HERMIT.External |
| newIdH | Language.HERMIT.Monad |
| newTyVarH | Language.HERMIT.Monad |
| nodups | Language.HERMIT.Primitive.Common |
| nonRecR | Language.HERMIT.Kure |
| nonRecT | Language.HERMIT.Kure |
| nonrecToRec | Language.HERMIT.Primitive.Local |
| nonRecVarT | Language.HERMIT.Primitive.Common |
| NoOp | Language.HERMIT.Plugin |
| notM | Language.HERMIT.Kure |
| notT | Language.HERMIT.External |
| numChildrenT | Language.HERMIT.Kure |
| numStmtsH | Language.HERMIT.Parser |
| observeFailureR | Language.HERMIT.Primitive.Debug |
| observeR | Language.HERMIT.Primitive.Debug |
| Omit | Language.HERMIT.PrettyPrinter.Common |
| onebuR | Language.HERMIT.Kure |
| onebuT | Language.HERMIT.Kure |
| oneLargestR | Language.HERMIT.Kure |
| oneLargestT | Language.HERMIT.Kure |
| oneNonEmptyPathToT | Language.HERMIT.Kure |
| onePathToT | Language.HERMIT.Kure |
| OneR | Language.HERMIT.Kure |
| oneR | Language.HERMIT.Kure |
| oneT | Language.HERMIT.Kure |
| onetdR | Language.HERMIT.Kure |
| onetdT | Language.HERMIT.Kure |
| optimize | Language.HERMIT.Optimize |
| orR | Language.HERMIT.Kure |
| parallelise | Language.HERMIT.Kure |
| parseCore | Language.HERMIT.ParserCore |
| parseCoreExprT | Language.HERMIT.Primitive.New |
| parseStmtsH | Language.HERMIT.Parser |
| Passes | Language.HERMIT.Plugin |
| Path | Language.HERMIT.Kure |
| PathAttr | Language.HERMIT.PrettyPrinter.Common |
| PathContext | Language.HERMIT.Kure |
| pathL | Language.HERMIT.Kure |
| pathR | Language.HERMIT.Kure |
| pathS | Language.HERMIT.Kernel.Scoped |
| pathsToT | Language.HERMIT.Kure |
| pathT | Language.HERMIT.Kure |
| phase | Language.HERMIT.Optimize |
| PhaseInfo | |
| 1 (Type/Class) | Language.HERMIT.Plugin |
| 2 (Data Constructor) | Language.HERMIT.Plugin |
| phaseNum | Language.HERMIT.Plugin |
| phasesDone | Language.HERMIT.Plugin |
| phasesLeft | Language.HERMIT.Plugin |
| plugin | HERMIT |
| PluginPass | Language.HERMIT.Plugin |
| PopAttr | Language.HERMIT.PrettyPrinter.Common |
| po_coercions | Language.HERMIT.PrettyPrinter.Common |
| po_depth | Language.HERMIT.PrettyPrinter.Common |
| po_exprTypes | Language.HERMIT.PrettyPrinter.Common |
| po_fullyQualified | Language.HERMIT.PrettyPrinter.Common |
| po_highlight | Language.HERMIT.PrettyPrinter.Common |
| po_notes | Language.HERMIT.PrettyPrinter.Common |
| po_ribbon | Language.HERMIT.PrettyPrinter.Common |
| po_typesForBinders | Language.HERMIT.PrettyPrinter.Common |
| po_width | Language.HERMIT.PrettyPrinter.Common |
| ppIdInfo | Language.HERMIT.GHC |
| pp_dictionary | Language.HERMIT.Dictionary |
| PreCondition | Language.HERMIT.External |
| Predicate | Language.HERMIT.External |
| prefixFailMsg | Language.HERMIT.Kure |
| Prep | Language.HERMIT.Plugin |
| prettyColor | Language.HERMIT.PrettyPrinter.Common |
| PrettyH | Language.HERMIT.PrettyPrinter.Common |
| PrettyOptions | |
| 1 (Type/Class) | Language.HERMIT.PrettyPrinter.Common |
| 2 (Data Constructor) | Language.HERMIT.PrettyPrinter.Common |
| prettyPath | Language.HERMIT.PrettyPrinter.Common |
| PrettyState | |
| 1 (Type/Class) | Language.HERMIT.PrettyPrinter.Common |
| 2 (Data Constructor) | Language.HERMIT.PrettyPrinter.Common |
| PrintCore | Language.HERMIT.Plugin |
| ProgCons | Language.HERMIT.Core |
| progConsAllR | Language.HERMIT.Kure |
| progConsAnyR | Language.HERMIT.Kure |
| progConsOneR | Language.HERMIT.Kure |
| progConsT | Language.HERMIT.Kure |
| ProgCore | Language.HERMIT.Core |
| progIdsT | Language.HERMIT.Primitive.Common |
| ProgNil | Language.HERMIT.Core |
| progNilT | Language.HERMIT.Kure |
| ProgramError | Language.HERMIT.GHC |
| progToBinds | Language.HERMIT.Core |
| project | Language.HERMIT.Kure |
| projectL | Language.HERMIT.Kure |
| projectM | Language.HERMIT.Kure |
| projectT | Language.HERMIT.Kure |
| projectWithFailMsgM | Language.HERMIT.Kure |
| promoteAltR | Language.HERMIT.Kure |
| promoteAltT | Language.HERMIT.Kure |
| promoteBindR | Language.HERMIT.Kure |
| promoteBindT | Language.HERMIT.Kure |
| promoteDefR | Language.HERMIT.Kure |
| promoteDefT | Language.HERMIT.Kure |
| promoteExprBiR | Language.HERMIT.Kure |
| promoteExprR | Language.HERMIT.Kure |
| promoteExprT | Language.HERMIT.Kure |
| promoteModGutsR | Language.HERMIT.Kure |
| promoteModGutsT | Language.HERMIT.Kure |
| promoteProgR | Language.HERMIT.Kure |
| promoteProgT | Language.HERMIT.Kure |
| promoteR | Language.HERMIT.Kure |
| promoteT | Language.HERMIT.Kure |
| promoteWithFailMsgR | Language.HERMIT.Kure |
| promoteWithFailMsgT | Language.HERMIT.Kure |
| prunePathsToT | Language.HERMIT.Kure |
| prunetdR | Language.HERMIT.Kure |
| prunetdT | Language.HERMIT.Kure |
| pureL | Language.HERMIT.Kure |
| push | Language.HERMIT.Primitive.New |
| PushAttr | Language.HERMIT.PrettyPrinter.Common |
| Query | Language.HERMIT.External |
| query | Language.HERMIT.Optimize |
| queryK | Language.HERMIT.Kernel |
| queryS | Language.HERMIT.Kernel.Scoped |
| R | Language.HERMIT.Kernel.Scoped |
| rDoHighlight | Language.HERMIT.PrettyPrinter.Common |
| readerT | Language.HERMIT.Kure |
| recAllR | Language.HERMIT.Kure |
| recAnyR | Language.HERMIT.Kure |
| recDefAllR | Language.HERMIT.Kure |
| recDefAnyR | Language.HERMIT.Kure |
| recDefOneR | Language.HERMIT.Kure |
| recDefT | Language.HERMIT.Kure |
| recIdsT | Language.HERMIT.Primitive.Common |
| recOneR | Language.HERMIT.Kure |
| recT | Language.HERMIT.Kure |
| rememberR | Language.HERMIT.Primitive.Unfold |
| remTag | Language.HERMIT.External |
| rEnd | Language.HERMIT.PrettyPrinter.Common |
| RenderCode | Language.HERMIT.PrettyPrinter.Common |
| renderCode | Language.HERMIT.PrettyPrinter.Common |
| RenderSpecial | Language.HERMIT.PrettyPrinter.Common |
| renderSpecial | Language.HERMIT.PrettyPrinter.Common |
| renderSpecialFont | Language.HERMIT.PrettyPrinter.Common |
| reorderNonRecLets | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| repeatPathL | Language.HERMIT.Kure |
| repeatR | Language.HERMIT.Kure |
| replaceVarR | Language.HERMIT.Primitive.AlphaConversion |
| result | Language.HERMIT.Kure |
| resultT | Language.HERMIT.Kure |
| resumeK | Language.HERMIT.Kernel |
| resumeS | Language.HERMIT.Kernel.Scoped |
| Rewrite | Language.HERMIT.Kure |
| rewrite | Language.HERMIT.Kure |
| RewriteCoreBox | |
| 1 (Type/Class) | Language.HERMIT.External |
| 2 (Data Constructor) | Language.HERMIT.External |
| RewriteH | Language.HERMIT.Kure |
| rhsOf | Language.HERMIT.Primitive.Navigation |
| RightArrowSymbol | Language.HERMIT.PrettyPrinter.Common |
| rollingRule | Language.HERMIT.Primitive.FixPoint |
| rootAbsPath | Language.HERMIT.Kure |
| rootL | Language.HERMIT.Kure |
| rootPath | Language.HERMIT.Kure |
| rootPathT | Language.HERMIT.Kure |
| rPutStr | Language.HERMIT.PrettyPrinter.Common |
| rStart | Language.HERMIT.PrettyPrinter.Common |
| rule | Language.HERMIT.Primitive.GHC |
| RuleCheck | Language.HERMIT.Plugin |
| rules | Language.HERMIT.Primitive.GHC |
| run | Language.HERMIT.Optimize |
| runHM | Language.HERMIT.Monad |
| runKureM | Language.HERMIT.Kure |
| safeLetSubstPlusR | Language.HERMIT.Primitive.GHC |
| safeLetSubstR | Language.HERMIT.Primitive.GHC |
| SAST | |
| 1 (Type/Class) | Language.HERMIT.Kernel.Scoped |
| 2 (Data Constructor) | Language.HERMIT.Kernel.Scoped |
| saveDef | Language.HERMIT.Monad |
| ScopedKernel | |
| 1 (Type/Class) | Language.HERMIT.Kernel.Scoped |
| 2 (Data Constructor) | Language.HERMIT.Kernel.Scoped |
| scopedKernel | Language.HERMIT.Kernel.Scoped |
| sendDebugMessage | Language.HERMIT.Monad |
| serialise | Language.HERMIT.Kure |
| setFailMsg | Language.HERMIT.Kure |
| setPretty | Language.HERMIT.Optimize |
| setPrettyOptions | Language.HERMIT.Optimize |
| Shallow | Language.HERMIT.External |
| Shell | Language.HERMIT.External |
| Show | Language.HERMIT.PrettyPrinter.Common |
| ShowOption | Language.HERMIT.PrettyPrinter.Common |
| showStashT | Language.HERMIT.Primitive.Unfold |
| showVars | Language.HERMIT.Primitive.GHC |
| sideEffectR | Language.HERMIT.Kure |
| Simplify | Language.HERMIT.Plugin |
| simplifyR | Language.HERMIT.Primitive.New |
| SpecConstr | Language.HERMIT.Plugin |
| SpecialFont | Language.HERMIT.PrettyPrinter.Common |
| specialFont | Language.HERMIT.PrettyPrinter.Common |
| specialFontMap | Language.HERMIT.PrettyPrinter.Common |
| Specialising | Language.HERMIT.Plugin |
| specializeR | Language.HERMIT.Primitive.Unfold |
| SpecialSymbol | Language.HERMIT.PrettyPrinter.Common |
| SrcName | Language.HERMIT.Parser |
| stashFoldAnyR | Language.HERMIT.Primitive.Fold |
| stashFoldR | Language.HERMIT.Primitive.Fold |
| staticArg | Language.HERMIT.Primitive.New |
| StaticArgs | Language.HERMIT.Plugin |
| Strictness | Language.HERMIT.Plugin |
| StringBox | |
| 1 (Type/Class) | Language.HERMIT.External |
| 2 (Data Constructor) | Language.HERMIT.External |
| StringListBox | |
| 1 (Type/Class) | Language.HERMIT.External |
| 2 (Data Constructor) | Language.HERMIT.External |
| substExprR | Language.HERMIT.Primitive.GHC |
| substR | Language.HERMIT.Primitive.GHC |
| summandIsTypeT | Language.HERMIT.Kure |
| swap | Language.HERMIT.Kure |
| SyntaxColor | Language.HERMIT.PrettyPrinter.Common |
| SyntaxForColor | Language.HERMIT.PrettyPrinter.Common |
| T | Language.HERMIT.Kernel.Scoped |
| Tag | Language.HERMIT.External |
| TagBox | |
| 1 (Type/Class) | Language.HERMIT.External |
| 2 (Data Constructor) | Language.HERMIT.External |
| TagE | Language.HERMIT.External |
| tagMatch | Language.HERMIT.External |
| testLensT | Language.HERMIT.Kure |
| testM | Language.HERMIT.Kure |
| testPathT | Language.HERMIT.Kure |
| testQuery | Language.HERMIT.Primitive.New |
| thRdrNameGuesses | Language.HERMIT.GHC |
| throwGhcException | Language.HERMIT.GHC |
| tickR | Language.HERMIT.Kure |
| tickT | Language.HERMIT.Kure |
| Ticky | Language.HERMIT.Primitive.Navigation |
| Tidy | Language.HERMIT.Plugin |
| toASTS | Language.HERMIT.Kernel.Scoped |
| toDictionary | Language.HERMIT.External |
| TODO | Language.HERMIT.External |
| toFst | Language.HERMIT.Kure |
| toHelp | Language.HERMIT.External |
| toSnd | Language.HERMIT.Kure |
| traceR | Language.HERMIT.Primitive.Debug |
| Translate | Language.HERMIT.Kure |
| translate | Language.HERMIT.Kure |
| TranslateCoreCheckBox | |
| 1 (Type/Class) | Language.HERMIT.External |
| 2 (Data Constructor) | Language.HERMIT.External |
| TranslateCoreDocHBox | |
| 1 (Type/Class) | Language.HERMIT.PrettyPrinter.Common |
| 2 (Data Constructor) | Language.HERMIT.PrettyPrinter.Common |
| TranslateCorePathBox | |
| 1 (Type/Class) | Language.HERMIT.External |
| 2 (Data Constructor) | Language.HERMIT.External |
| TranslateCoreStringBox | |
| 1 (Type/Class) | Language.HERMIT.External |
| 2 (Data Constructor) | Language.HERMIT.External |
| TranslateDocH | |
| 1 (Type/Class) | Language.HERMIT.PrettyPrinter.Common |
| 2 (Data Constructor) | Language.HERMIT.PrettyPrinter.Common |
| TranslateH | Language.HERMIT.Kure |
| tryM | Language.HERMIT.Kure |
| tryR | Language.HERMIT.Kure |
| TyConApp | Language.HERMIT.GHC |
| Type | Language.HERMIT.GHC |
| TypeBindSymbol | Language.HERMIT.PrettyPrinter.Common |
| TypeColor | Language.HERMIT.PrettyPrinter.Common |
| typeColor | Language.HERMIT.PrettyPrinter.Common |
| TypeOfSymbol | Language.HERMIT.PrettyPrinter.Common |
| TypeSymbol | Language.HERMIT.PrettyPrinter.Common |
| typeT | Language.HERMIT.Kure |
| TypeVar | Language.HERMIT.Primitive.Navigation |
| TyVarTy | Language.HERMIT.GHC |
| U | Language.HERMIT.Kernel.Scoped |
| unbox | Language.HERMIT.External |
| unCoreString | Language.HERMIT.External |
| unfoldAnyR | Language.HERMIT.Primitive.Unfold |
| unfoldNameR | Language.HERMIT.Primitive.Unfold |
| unfoldPredR | Language.HERMIT.Primitive.Unfold |
| unfoldR | Language.HERMIT.Primitive.Unfold |
| unfoldSaturatedR | Language.HERMIT.Primitive.Unfold |
| unfoldStashR | Language.HERMIT.Primitive.Unfold |
| Unicode | |
| 1 (Type/Class) | Language.HERMIT.PrettyPrinter.Common |
| 2 (Data Constructor) | Language.HERMIT.PrettyPrinter.Common |
| unicodeConsole | Language.HERMIT.Shell.Command |
| Unimplemented | Language.HERMIT.External |
| uniquePathToT | Language.HERMIT.Kure |
| uniquePrunePathToT | Language.HERMIT.Kure |
| Unknown | Language.HERMIT.Plugin |
| unlessM | Language.HERMIT.Kure |
| unparseExprH | Language.HERMIT.Parser |
| unqualifiedVarName | Language.HERMIT.GHC |
| Unsafe | Language.HERMIT.External |
| unsafeReplace | Language.HERMIT.Primitive.New |
| unsafeReplaceStash | Language.HERMIT.Primitive.New |
| unshadow | Language.HERMIT.Primitive.AlphaConversion |
| unTranslateDocH | Language.HERMIT.PrettyPrinter.Common |
| unwrapAnyR | Language.HERMIT.Kure |
| unwrapOneR | Language.HERMIT.Kure |
| updateCoShowOption | Language.HERMIT.PrettyPrinter.Common |
| updateTypeShowOption | Language.HERMIT.PrettyPrinter.Common |
| var2String | Language.HERMIT.GHC |
| var2THName | Language.HERMIT.GHC |
| Variable | Language.HERMIT.Primitive.Navigation |
| varT | Language.HERMIT.Kure |
| Vectorisation | Language.HERMIT.Plugin |
| VersionControl | Language.HERMIT.External |
| visibleVarsT | Language.HERMIT.Primitive.AlphaConversion |
| vlist | Language.HERMIT.PrettyPrinter.Common |
| Walker | Language.HERMIT.Kure |
| whenM | Language.HERMIT.Kure |
| whicheverR | Language.HERMIT.Kure |
| withPatFailMsg | Language.HERMIT.Kure |
| WorkerWrapper | Language.HERMIT.Plugin |
| wrapAnyR | Language.HERMIT.Kure |
| wrapOneR | Language.HERMIT.Kure |
| wrongExprForm | Language.HERMIT.Primitive.Common |