| .& | Language.HERMIT.External |
| .+ | Language.HERMIT.External |
| .|| | Language.HERMIT.External |
| <+ | Language.HERMIT.Kure |
| <<+ | Language.HERMIT.Kure |
| >+> | Language.HERMIT.Kure |
| @@ | Language.HERMIT.Context |
| abortK | Language.HERMIT.Kernel |
| abortS | Language.HERMIT.Kernel.Scoped |
| AbsolutePath | Language.HERMIT.Kure |
| absPathT | Language.HERMIT.Kure |
| Abstract | Language.HERMIT.PrettyPrinter |
| 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 |
| allbuR | Language.HERMIT.Kure |
| allduR | Language.HERMIT.Kure |
| 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 |
| alphaAltIds | Language.HERMIT.Primitive.AlphaConversion |
| alphaCase | Language.HERMIT.Primitive.AlphaConversion |
| alphaCaseBinder | Language.HERMIT.Primitive.AlphaConversion |
| alphaCons | Language.HERMIT.Primitive.AlphaConversion |
| alphaConsOne | Language.HERMIT.Primitive.AlphaConversion |
| alphaLam | Language.HERMIT.Primitive.AlphaConversion |
| alphaLet | Language.HERMIT.Primitive.AlphaConversion |
| alphaLetOne | Language.HERMIT.Primitive.AlphaConversion |
| alphaLetRecIds | Language.HERMIT.Primitive.AlphaConversion |
| alphaLetVars | Language.HERMIT.Primitive.AlphaConversion |
| AltCore | Language.HERMIT.Core |
| altFreeVarsExclWildT | Language.HERMIT.Primitive.GHC |
| altFreeVarsT | Language.HERMIT.Primitive.GHC |
| altR | Language.HERMIT.Kure |
| altT | Language.HERMIT.Kure |
| andR | Language.HERMIT.Kure |
| anybuR | Language.HERMIT.Kure |
| anyduR | 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.Expr |
| apply | Language.HERMIT.Kure |
| applyK | Language.HERMIT.Kernel |
| applyS | Language.HERMIT.Kernel.Scoped |
| appOneR | Language.HERMIT.Kure |
| appT | Language.HERMIT.Kure |
| argument | Language.HERMIT.Kure |
| ASCII | |
| 1 (Type/Class) | Language.HERMIT.PrettyPrinter |
| 2 (Data Constructor) | Language.HERMIT.PrettyPrinter |
| AST | Language.HERMIT.Kernel |
| atomExpr | Language.HERMIT.PrettyPrinter.Clean |
| attemptM | Language.HERMIT.Kure |
| attemptR | Language.HERMIT.Kure |
| Attr | Language.HERMIT.PrettyPrinter |
| attr | Language.HERMIT.PrettyPrinter |
| attrP | Language.HERMIT.PrettyPrinter |
| backwardT | Language.HERMIT.Kure |
| Bash | Language.HERMIT.External |
| 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 |
| bindingGroupOf | Language.HERMIT.Primitive.Navigation |
| bindsToProg | Language.HERMIT.Core |
| bindToIdExprs | Language.HERMIT.Core |
| BiRewrite | Language.HERMIT.Kure |
| BiTranslate | Language.HERMIT.Kure |
| boundIn | Language.HERMIT.Context |
| boundVars | Language.HERMIT.Context |
| Box | Language.HERMIT.External |
| box | Language.HERMIT.External |
| CASE | Language.HERMIT.Context |
| caseAllR | Language.HERMIT.Kure |
| caseAltAllR | Language.HERMIT.Kure |
| caseAltAnyR | Language.HERMIT.Kure |
| caseAltOneR | Language.HERMIT.Kure |
| caseAltT | Language.HERMIT.Kure |
| caseAnyR | Language.HERMIT.Kure |
| caseExternals | Language.HERMIT.Primitive.Local.Case, Language.HERMIT.Primitive.Local |
| 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 |
| caseFloatLet | Language.HERMIT.Primitive.Local.Case, Language.HERMIT.Primitive.Local |
| caseOneR | Language.HERMIT.Kure |
| caseReduce | 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 |
| castR | Language.HERMIT.Kure |
| castT | Language.HERMIT.Kure |
| catchesM | Language.HERMIT.Kure |
| catchesT | Language.HERMIT.Kure |
| catchM | Language.HERMIT.Kure |
| catchT | Language.HERMIT.Kure |
| CategoryCatch | Language.HERMIT.Kure |
| changedR | Language.HERMIT.Kure |
| childL | Language.HERMIT.Kure |
| childR | Language.HERMIT.Kure |
| childT | Language.HERMIT.Kure |
| cleanupUnfold | Language.HERMIT.Primitive.New |
| cloneVarH | Language.HERMIT.Monad |
| CmdName | Language.HERMIT.Expr |
| CmdTag | Language.HERMIT.External |
| coercionT | Language.HERMIT.Kure |
| collectLets | Language.HERMIT.Primitive.New |
| collectPruneT | Language.HERMIT.Kure |
| collectT | Language.HERMIT.Kure |
| Color | Language.HERMIT.PrettyPrinter |
| commandLine | Language.HERMIT.Shell.Command |
| Commute | Language.HERMIT.External |
| considerables | Language.HERMIT.Primitive.Navigation |
| considerName | Language.HERMIT.Primitive.Navigation |
| considerTargets | Language.HERMIT.Primitive.Navigation |
| consNonRecAllR | Language.HERMIT.Kure |
| consNonRecAnyR | Language.HERMIT.Kure |
| 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 |
| 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 |
| contextPath | Language.HERMIT.Kure |
| contextT | Language.HERMIT.Kure |
| Core | Language.HERMIT.Core |
| CoreDef | Language.HERMIT.Core |
| coreExprFreeIds | Language.HERMIT.Primitive.GHC |
| coreExprFreeVars | Language.HERMIT.Primitive.GHC |
| corePrettyH | |
| 1 (Function) | Language.HERMIT.PrettyPrinter.AST |
| 2 (Function) | Language.HERMIT.PrettyPrinter.Clean |
| 3 (Function) | Language.HERMIT.PrettyPrinter.GHC |
| 4 (Function) | Language.HERMIT.PrettyPrinter.JSON |
| CoreProg | Language.HERMIT.Core |
| coreRenders | Language.HERMIT.PrettyPrinter |
| CoreTickish | Language.HERMIT.Core |
| crushbuT | Language.HERMIT.Kure |
| crushtdT | Language.HERMIT.Kure |
| D | Language.HERMIT.Kernel.Scoped |
| Debug | Language.HERMIT.External |
| DebugCore | Language.HERMIT.Monad |
| DebugMessage | Language.HERMIT.Monad |
| DebugPretty | |
| 1 (Type/Class) | Language.HERMIT.PrettyPrinter |
| 2 (Data Constructor) | Language.HERMIT.PrettyPrinter |
| DebugTick | Language.HERMIT.Monad |
| Deep | Language.HERMIT.External |
| Def | Language.HERMIT.Core |
| DefCore | Language.HERMIT.Core |
| 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 |
| Dictionary | Language.HERMIT.Dictionary |
| dictionary | Language.HERMIT.Dictionary |
| dictionaryOfTags | Language.HERMIT.External |
| Direction | Language.HERMIT.Kernel.Scoped |
| DocH | Language.HERMIT.PrettyPrinter |
| endScopeS | Language.HERMIT.Kernel.Scoped |
| 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 |
| ExprCore | Language.HERMIT.Core |
| exprEqual | Language.HERMIT.Primitive.GHC |
| ExprH | |
| 1 (Data Constructor) | Language.HERMIT.Expr |
| 2 (Type/Class) | Language.HERMIT.Expr |
| exprTypeOrKind | Language.HERMIT.Core |
| extendAbsPath | Language.HERMIT.Kure |
| 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.Unfold |
| 6 (Function) | Language.HERMIT.Primitive.Inline |
| 7 (Function) | Language.HERMIT.Primitive.Fold |
| 8 (Function) | Language.HERMIT.Primitive.AlphaConversion |
| 9 (Function) | Language.HERMIT.Primitive.Local |
| 10 (Function) | Language.HERMIT.Primitive.New |
| 11 (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 |
| failT | Language.HERMIT.Kure |
| findBoundVars | Language.HERMIT.Context |
| findFixId | Language.HERMIT.Primitive.FixPoint |
| fixIntro | Language.HERMIT.Primitive.FixPoint |
| fixLocation | Language.HERMIT.Primitive.FixPoint |
| fixSpecialization | Language.HERMIT.Primitive.FixPoint |
| fixSpecialization' | Language.HERMIT.Primitive.FixPoint |
| flattenModule | Language.HERMIT.Primitive.Local |
| flattenProgramR | Language.HERMIT.Primitive.Local |
| flattenProgramT | Language.HERMIT.Primitive.Local |
| 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 |
| 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 |
| Generic | Language.HERMIT.Kure |
| getStash | Language.HERMIT.Monad |
| getUnfolding | Language.HERMIT.Primitive.Unfold |
| ghcCorePrettyH | Language.HERMIT.PrettyPrinter |
| guardIsFixId | Language.HERMIT.Primitive.FixPoint |
| guardM | Language.HERMIT.Kure |
| guardMsg | Language.HERMIT.Kure |
| hasChild | Language.HERMIT.Kure |
| 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 |
| 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 |
| hlist | |
| 1 (Function) | Language.HERMIT.PrettyPrinter.AST |
| 2 (Function) | Language.HERMIT.PrettyPrinter.Clean |
| 3 (Function) | Language.HERMIT.PrettyPrinter.GHC |
| hs_debugChan | Language.HERMIT.Monad |
| HTML | |
| 1 (Type/Class) | Language.HERMIT.PrettyPrinter |
| 2 (Data Constructor) | Language.HERMIT.PrettyPrinter |
| 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 |
| 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 |
| Interp | Language.HERMIT.Interp |
| interp | Language.HERMIT.Interp |
| interpExprH | Language.HERMIT.Interp |
| Introduce | Language.HERMIT.External |
| invert | Language.HERMIT.Kure |
| isAtom | Language.HERMIT.PrettyPrinter.Clean |
| isType | Language.HERMIT.Core |
| isVar | Language.HERMIT.Primitive.New |
| Kernel | Language.HERMIT.Kernel |
| keyword | Language.HERMIT.PrettyPrinter.Clean |
| KeywordColor | Language.HERMIT.PrettyPrinter |
| keywordColor | Language.HERMIT.PrettyPrinter |
| KURE | Language.HERMIT.External |
| KureM | Language.HERMIT.Kure |
| L | Language.HERMIT.Kernel.Scoped |
| Label | Language.HERMIT.Monad |
| LAM | Language.HERMIT.Context |
| LambdaSymbol | Language.HERMIT.PrettyPrinter |
| lamR | Language.HERMIT.Kure |
| lamT | Language.HERMIT.Kure |
| LaTeX | |
| 1 (Type/Class) | Language.HERMIT.PrettyPrinter |
| 2 (Data Constructor) | Language.HERMIT.PrettyPrinter |
| latexToString | Language.HERMIT.PrettyPrinter |
| latexVerbatim | Language.HERMIT.PrettyPrinter |
| 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 |
| letExternals | 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 |
| 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 |
| letIntro | Language.HERMIT.Primitive.Local.Let, Language.HERMIT.Primitive.Local |
| letNonRecAllR | Language.HERMIT.Kure |
| letNonRecAnyR | Language.HERMIT.Kure |
| letNonRecOneR | Language.HERMIT.Kure |
| letNonRecT | Language.HERMIT.Kure |
| 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 |
| 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 |
| liftCoreM | Language.HERMIT.Monad |
| listify | |
| 1 (Function) | Language.HERMIT.PrettyPrinter.AST |
| 2 (Function) | Language.HERMIT.PrettyPrinter.Clean |
| 3 (Function) | Language.HERMIT.PrettyPrinter.GHC |
| listK | Language.HERMIT.Kernel |
| listS | Language.HERMIT.Kernel.Scoped |
| LitColor | Language.HERMIT.PrettyPrinter |
| litT | Language.HERMIT.Kure |
| LocalPath | Language.HERMIT.Kernel.Scoped |
| lookupDef | Language.HERMIT.Monad |
| lookupHermitBinding | Language.HERMIT.Context |
| Loop | Language.HERMIT.External |
| mapT | Language.HERMIT.Kure |
| markColor | Language.HERMIT.PrettyPrinter |
| mkHermitMEnv | Language.HERMIT.Monad |
| modFailMsg | Language.HERMIT.Kure |
| ModGutsCore | Language.HERMIT.Core |
| modGutsR | Language.HERMIT.Kure |
| modGutsT | Language.HERMIT.Kure |
| modPathS | Language.HERMIT.Kernel.Scoped |
| MonadCatch | Language.HERMIT.Kure |
| monomorphicWorkerWrapperFac | Language.HERMIT.Primitive.FixPoint |
| monomorphicWorkerWrapperSplit | Language.HERMIT.Primitive.FixPoint |
| moveLocally | Language.HERMIT.Kernel.Scoped |
| mtryM | Language.HERMIT.Kure |
| multiEtaExpand | Language.HERMIT.Primitive.Local |
| NameBox | |
| 1 (Type/Class) | Language.HERMIT.External |
| 2 (Data Constructor) | Language.HERMIT.External |
| namedBinding | Language.HERMIT.Primitive.Navigation |
| Navigation | Language.HERMIT.External |
| newIdH | Language.HERMIT.Monad |
| newTyVarH | Language.HERMIT.Monad |
| Node | Language.HERMIT.Kure |
| nonRecR | Language.HERMIT.Kure |
| nonRecT | Language.HERMIT.Kure |
| nonrecToRec | Language.HERMIT.Primitive.Local |
| normalExpr | Language.HERMIT.PrettyPrinter.Clean |
| notM | Language.HERMIT.Kure |
| notT | Language.HERMIT.External |
| numChildren | Language.HERMIT.Kure |
| numChildrenT | Language.HERMIT.Kure |
| numStmtsH | Language.HERMIT.Expr |
| observeFailureR | Language.HERMIT.Primitive.Debug |
| observeR | Language.HERMIT.Primitive.Debug |
| Omit | Language.HERMIT.PrettyPrinter |
| onebuR | Language.HERMIT.Kure |
| onebuT | Language.HERMIT.Kure |
| oneNonEmptyPathToT | Language.HERMIT.Kure |
| onePathToT | Language.HERMIT.Kure |
| oneR | Language.HERMIT.Kure |
| oneT | Language.HERMIT.Kure |
| onetdR | Language.HERMIT.Kure |
| onetdT | Language.HERMIT.Kure |
| orR | Language.HERMIT.Kure |
| parseExprH | Language.HERMIT.Expr |
| parseStmtsH | Language.HERMIT.Expr |
| Path | Language.HERMIT.Kure |
| PathAttr | Language.HERMIT.PrettyPrinter |
| 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 |
| plugin | HERMIT |
| PopAttr | Language.HERMIT.PrettyPrinter |
| po_depth | Language.HERMIT.PrettyPrinter |
| po_exprTypes | Language.HERMIT.PrettyPrinter |
| po_fullyQualified | Language.HERMIT.PrettyPrinter |
| po_highlight | Language.HERMIT.PrettyPrinter |
| po_notes | Language.HERMIT.PrettyPrinter |
| po_ribbon | Language.HERMIT.PrettyPrinter |
| po_typesForBinders | Language.HERMIT.PrettyPrinter |
| po_width | Language.HERMIT.PrettyPrinter |
| ppParens | Language.HERMIT.PrettyPrinter.Clean |
| pp_dictionary | Language.HERMIT.Dictionary |
| PreCondition | Language.HERMIT.External |
| Predicate | Language.HERMIT.External |
| prefixFailMsg | Language.HERMIT.Kure |
| prettyColor | Language.HERMIT.PrettyPrinter |
| PrettyH | Language.HERMIT.PrettyPrinter |
| PrettyOptions | |
| 1 (Type/Class) | Language.HERMIT.PrettyPrinter |
| 2 (Data Constructor) | Language.HERMIT.PrettyPrinter |
| prettyPath | Language.HERMIT.PrettyPrinter |
| PrettyState | |
| 1 (Type/Class) | Language.HERMIT.PrettyPrinter |
| 2 (Data Constructor) | Language.HERMIT.PrettyPrinter |
| ProgCons | Language.HERMIT.Core |
| progConsAllR | Language.HERMIT.Kure |
| progConsAnyR | Language.HERMIT.Kure |
| progConsOneR | Language.HERMIT.Kure |
| progConsT | Language.HERMIT.Kure |
| ProgCore | Language.HERMIT.Core |
| ProgNil | Language.HERMIT.Core |
| progNilT | Language.HERMIT.Kure |
| progToBinds | Language.HERMIT.Core |
| promoteAltR | Language.HERMIT.Kure |
| promoteAltT | Language.HERMIT.Kure |
| promoteBindR | Language.HERMIT.Kure |
| promoteBindT | Language.HERMIT.Kure |
| promoteDefR | Language.HERMIT.Kure |
| promoteDefT | 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 |
| Query | Language.HERMIT.External |
| queryK | Language.HERMIT.Kernel |
| queryS | Language.HERMIT.Kernel.Scoped |
| R | Language.HERMIT.Kernel.Scoped |
| rDoHighlight | Language.HERMIT.PrettyPrinter |
| 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 |
| recOneR | Language.HERMIT.Kure |
| recT | Language.HERMIT.Kure |
| remTag | Language.HERMIT.External |
| rEnd | Language.HERMIT.PrettyPrinter |
| RenderCode | Language.HERMIT.PrettyPrinter |
| renderCode | Language.HERMIT.PrettyPrinter |
| RenderSpecial | Language.HERMIT.PrettyPrinter |
| renderSpecial | Language.HERMIT.PrettyPrinter |
| renderSpecialFont | Language.HERMIT.PrettyPrinter |
| repeatPathL | Language.HERMIT.Kure |
| repeatR | Language.HERMIT.Kure |
| replaceVarR | Language.HERMIT.Primitive.AlphaConversion |
| result | Language.HERMIT.Kure |
| resumeK | Language.HERMIT.Kernel |
| resumeS | Language.HERMIT.Kernel.Scoped |
| RetApp | Language.HERMIT.PrettyPrinter.Clean |
| RetAtom | Language.HERMIT.PrettyPrinter.Clean |
| RetEmpty | Language.HERMIT.PrettyPrinter.Clean |
| RetExpr | |
| 1 (Type/Class) | Language.HERMIT.PrettyPrinter.Clean |
| 2 (Data Constructor) | Language.HERMIT.PrettyPrinter.Clean |
| RetLam | Language.HERMIT.PrettyPrinter.Clean |
| RetLet | Language.HERMIT.PrettyPrinter.Clean |
| retract | Language.HERMIT.Kure |
| retractL | Language.HERMIT.Kure |
| retractM | Language.HERMIT.Kure |
| retractT | Language.HERMIT.Kure |
| 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 |
| rootAbsPath | Language.HERMIT.Kure |
| rootL | Language.HERMIT.Kure |
| rootPath | Language.HERMIT.Kure |
| rPutStr | Language.HERMIT.PrettyPrinter |
| rStart | Language.HERMIT.PrettyPrinter |
| rules | Language.HERMIT.Primitive.GHC |
| 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 |
| ScopeH | Language.HERMIT.Expr |
| sendDebugMessage | Language.HERMIT.Monad |
| setFailMsg | Language.HERMIT.Kure |
| Shallow | Language.HERMIT.External |
| Shell | Language.HERMIT.External |
| Show | Language.HERMIT.PrettyPrinter |
| ShowOption | Language.HERMIT.PrettyPrinter |
| showVars | Language.HERMIT.Primitive.GHC |
| sideEffectR | Language.HERMIT.Kure |
| simplifyR | Language.HERMIT.Primitive.New |
| SpecialFont | Language.HERMIT.PrettyPrinter |
| specialFont | Language.HERMIT.PrettyPrinter |
| specialFontMap | Language.HERMIT.PrettyPrinter |
| SpecialSymbol | Language.HERMIT.PrettyPrinter |
| specialSymbol | Language.HERMIT.PrettyPrinter.Clean |
| SrcName | Language.HERMIT.Expr |
| stashApply | Language.HERMIT.Primitive.Unfold |
| stashDef | Language.HERMIT.Primitive.Unfold |
| stashFoldR | Language.HERMIT.Primitive.Fold |
| StmtH | Language.HERMIT.Expr |
| StringBox | |
| 1 (Type/Class) | Language.HERMIT.External |
| 2 (Data Constructor) | Language.HERMIT.External |
| substR | Language.HERMIT.Primitive.GHC |
| swap | Language.HERMIT.Kure |
| symbol | Language.HERMIT.PrettyPrinter.Clean |
| SyntaxColor | Language.HERMIT.PrettyPrinter |
| SyntaxForColor | Language.HERMIT.PrettyPrinter |
| 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 |
| tickR | Language.HERMIT.Kure |
| tickT | Language.HERMIT.Kure |
| 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 |
| 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 |
| TranslateH | Language.HERMIT.Kure |
| tryM | Language.HERMIT.Kure |
| tryR | Language.HERMIT.Kure |
| TypeBindSymbol | Language.HERMIT.PrettyPrinter |
| typeBindSymbol | Language.HERMIT.PrettyPrinter.Clean |
| TypeColor | Language.HERMIT.PrettyPrinter |
| typeExprToType | Language.HERMIT.Core |
| TypeOfSymbol | Language.HERMIT.PrettyPrinter |
| TypeSymbol | Language.HERMIT.PrettyPrinter |
| typeSymbol | Language.HERMIT.PrettyPrinter.Clean |
| typeT | Language.HERMIT.Kure |
| U | Language.HERMIT.Kernel.Scoped |
| unbox | Language.HERMIT.External |
| unfold | Language.HERMIT.Primitive.New |
| Unicode | |
| 1 (Type/Class) | Language.HERMIT.PrettyPrinter |
| 2 (Data Constructor) | Language.HERMIT.PrettyPrinter |
| Unimplemented | Language.HERMIT.External |
| uniquePathToT | Language.HERMIT.Kure |
| uniquePrunePathToT | Language.HERMIT.Kure |
| unlessM | Language.HERMIT.Kure |
| unparseExprH | Language.HERMIT.Expr |
| unparseStmtH | Language.HERMIT.Expr |
| unparseStmtsH | Language.HERMIT.Expr |
| unshadow | Language.HERMIT.Primitive.AlphaConversion |
| VarColor | Language.HERMIT.PrettyPrinter |
| varColor | Language.HERMIT.PrettyPrinter |
| varT | Language.HERMIT.Kure |
| VersionControl | Language.HERMIT.External |
| visibleVarsT | Language.HERMIT.Primitive.AlphaConversion |
| vlist | |
| 1 (Function) | Language.HERMIT.PrettyPrinter.AST |
| 2 (Function) | Language.HERMIT.PrettyPrinter.Clean |
| 3 (Function) | Language.HERMIT.PrettyPrinter.GHC |
| Walker | Language.HERMIT.Kure |
| whenM | Language.HERMIT.Kure |
| whicheverR | Language.HERMIT.Kure |
| withPatFailMsg | Language.HERMIT.Kure |
| withUnfold | Language.HERMIT.Primitive.New |
| workerWrapperFacTest | Language.HERMIT.Primitive.FixPoint |
| workerWrapperSplitTest | Language.HERMIT.Primitive.FixPoint |