| H | Mikan.Mimer.Options |
| handleCommand | Mikan.Interaction.InteractionTop |
| handleCommand_ | Mikan.Interaction.InteractionTop |
| handleImpossible | Mikan.Utils.Impossible |
| handleImpossibleJust | Mikan.Utils.Impossible |
| handleRecoverableError | Mikan.TypeChecking.Errors.Deferred |
| hang | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hardTypeError | Mikan.TypeChecking.Errors.Deferred |
| hasAccessibleDef | Mikan.TypeChecking.Opacity |
| hasAgdaExtension | Mikan.Interaction.FindFile |
| HasBuiltins | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| HasCallStack | Mikan.Utils.CallStack |
| hasCatchall | Mikan.TypeChecking.CompiledClause |
| HasConstInfo | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| hasCopatterns | Mikan.Syntax.Concrete.Pattern |
| hasDefinition | Mikan.TypeChecking.Positivity |
| HasDefP | Mikan.Syntax.Internal.Pattern |
| hasDefP | Mikan.Syntax.Internal.Pattern |
| hasDisplayForms | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| hasElem | Mikan.Utils.List |
| hasElims | Mikan.Syntax.Internal.Term |
| HasEllipsis | Mikan.Syntax.Concrete.Pattern |
| hasEllipsis | Mikan.Syntax.Concrete.Pattern |
| hasEllipsis' | Mikan.Syntax.Concrete.Pattern |
| HasEta | Mikan.Syntax.Common |
| HasEta' | Mikan.Syntax.Common |
| HasEta0 | Mikan.Syntax.Common |
| hasExactVerbosity | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| HasFileEra | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| HasFresh | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Hash | Mikan.Utils.Hash |
| hashByteString | Mikan.Utils.Hash |
| hashRawTopLevelModuleName | Mikan.Syntax.TopLevelModuleName |
| HashSet | Mikan.Utils.HashSet.Ordered |
| hashSize | Mikan.Utils.Hash |
| hashSourceFile | Mikan.Interaction.ReadFile |
| hashString | Mikan.Utils.Hash |
| HashTable | |
| 1 (Type/Class) | Mikan.Utils.HashTable |
| 2 (Data Constructor) | Mikan.Utils.HashTable |
| HashTableLL | Mikan.Utils.HashTable |
| HashTableLU | Mikan.Utils.HashTable |
| HashTableUL | Mikan.Utils.HashTable |
| HashTableUU | Mikan.Utils.HashTable |
| hashText | Mikan.Utils.Hash |
| hashTextFile | Mikan.Utils.Hash |
| haskellRecord | Mikan.Mimer.Types |
| haskellStringLiteral | Mikan.Utils.String |
| hasKey | Mikan.Utils.HashTable |
| hasLeftAdjoint | Mikan.Utils.POMonoid |
| HasLHSCores | Mikan.TypeChecking.Rules.Def |
| hasLineNumber | Mikan.Interaction.Library.Base |
| HasNameBindingSite | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| HasNameId | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| hasNoFreeVariables | Mikan.Syntax.Common |
| HasOptions | Mikan.Interaction.Options, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| HasOverlapMode | Mikan.Syntax.Common |
| hasProfileOption | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| hasProj | Mikan.Syntax.Internal.Elim, Mikan.Syntax.Internal.Term |
| hasProjectionPatterns | Mikan.TypeChecking.CompiledClause |
| HasPTSRule | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| hasPTSRule | Mikan.TypeChecking.Sort |
| HasRange | Mikan.Syntax.Position |
| HasRangeWithoutFile | Mikan.Syntax.Position |
| HasTag | Mikan.Utils.BiMap |
| hasTwinMeta | Mikan.TypeChecking.MetaVars |
| HasType | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| hasVerbosity | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| hasWithPatterns | Mikan.Syntax.Concrete.Pattern |
| HasZero | Mikan.Termination.Semiring |
| haveLevels | Mikan.TypeChecking.Level |
| haveTacticAttr | Mikan.Syntax.Parser.Helpers |
| hcat | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hcomp | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| HCompOp | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| Head | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| head | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.Utils.ListInf |
| 3 (Function) | Mikan.Utils.List2 |
| head1 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| headAmbQ | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| headCallSite | Mikan.Utils.CallStack |
| HeadCompute | Mikan.Interaction.Base |
| HeadNormal | Mikan.Interaction.Base |
| headPrecedence | Mikan.Syntax.Fixity |
| headStop | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| headSymbol | Mikan.TypeChecking.Injectivity |
| headSymbol' | Mikan.TypeChecking.Injectivity |
| headWithDefault | Mikan.Utils.List |
| Help | |
| 1 (Type/Class) | Mikan.Interaction.Options.Help |
| 2 (Type/Class) | Mikan.Interaction.Options.BashCompletion |
| help | Mikan.Setup.EmacsMode |
| helpArg | Mikan.Interaction.Options.Arguments |
| helpErrors | Mikan.Interaction.Options.Errors |
| HelpFor | Mikan.Interaction.Options.Help |
| helpForLocaleError | Mikan.Main |
| helpTopicUsage | Mikan.Interaction.Options.Help |
| helpValues | Mikan.Interaction.Options.Arguments |
| hfill | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| Hidden | Mikan.Syntax.Common |
| hidden | Mikan.Syntax.Common |
| HiddenArg | Mikan.Syntax.Concrete |
| HiddenArgV | Mikan.Syntax.Concrete.Operators.Parser |
| HiddenGeneralize | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| HiddenGeneralize_ | Mikan.Interaction.Options.Warnings |
| HiddenNotInArgumentPosition | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| HiddenNotInArgumentPosition_ | Mikan.Interaction.Options.Warnings |
| HiddenP | Mikan.Syntax.Concrete |
| hide | Mikan.Syntax.Common |
| hideExplicit | Mikan.Syntax.Common |
| Hiding | Mikan.Syntax.Common |
| hiding | Mikan.Syntax.Common |
| HidingDirective | Mikan.Syntax.Concrete |
| HidingDirective' | Mikan.Syntax.Common |
| HidingMismatch | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| HidingMismatch_ | Mikan.Interaction.Options.Errors |
| HidingOnly | Mikan.Syntax.Scope.Base |
| hidingToMetaKind | Mikan.Syntax.Info |
| hidingToString | Mikan.Syntax.Common |
| highestBitWord# | Mikan.Utils.Word |
| HighlightAll | Mikan.Interaction.Highlighting.HTML.Base |
| highlightAsTypeChecked | Mikan.TypeChecking.Monad.Trace, Mikan.TypeChecking.Monad, Mikan.Interaction.Highlighting.Generate, Mikan.Compiler.Backend |
| HighlightAuto | Mikan.Interaction.Highlighting.HTML.Base |
| HighlightCode | Mikan.Interaction.Highlighting.HTML.Base |
| Highlighted | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| highlightExpr | Mikan.Interaction.InteractionTop |
| Highlighting | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| HighlightingInfo | Mikan.Interaction.Highlighting.Precise, Mikan.Interaction.Highlighting.Emacs |
| HighlightingInfoBuilder | Mikan.Interaction.Highlighting.Precise |
| highlightingInfoBuilderInvariant | Mikan.Interaction.Highlighting.Precise |
| highlightingInfoInvariant | Mikan.Interaction.Highlighting.Precise |
| HighlightingLevel | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| HighlightingMethod | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| HighlightModuleContents | Mikan.TypeChecking.Rules.Decl |
| highlightWarning | Mikan.Interaction.Highlighting.Generate |
| highlight_ | Mikan.TypeChecking.Rules.Decl |
| highMetaPriority | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| hintAxioms | Mikan.Mimer.Types |
| hintDataTypes | Mikan.Mimer.Types |
| hintExprToQName | Mikan.Mimer.Options |
| hintFns | Mikan.Mimer.Types |
| hintLetVars | Mikan.Mimer.Types |
| hintLevel | Mikan.Mimer.Types |
| HintMode | Mikan.Mimer.Options |
| hintProjections | Mikan.Mimer.Types |
| hintRecordTypes | Mikan.Mimer.Types |
| hintRecVars | Mikan.Mimer.Types |
| hintThisFn | Mikan.Mimer.Types |
| hlArgument | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlBound | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlComment | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlConstructor | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlDatatype | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlField | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlFunction | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlGeneralizable | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlHole | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlKeyword | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlMacro | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlModule | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlNameKind | Mikan.Syntax.Common.Pretty |
| hlNumber | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlPostulate | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlPragma | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlPrimitive | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlPrimitiveType | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlRecord | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlString | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hlSymbol | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| holdConstraints | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Hole | |
| 1 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| hole | Mikan.Syntax.Parser.Comments |
| HoleContent | |
| 1 (Type/Class) | Mikan.Syntax.Concrete |
| 2 (Type/Class) | Mikan.Syntax.Abstract |
| HoleContent' | Mikan.Syntax.Concrete |
| HoleContentExpr | Mikan.Syntax.Concrete |
| holeContentParser | |
| 1 (Function) | Mikan.Syntax.Parser.Parser |
| 2 (Function) | Mikan.Syntax.Parser |
| HoleContentRewrite | Mikan.Syntax.Concrete |
| HoleName | Mikan.Syntax.Notation |
| holeName | Mikan.Syntax.Notation |
| holeNumber | Mikan.Syntax.Common |
| HolePart | Mikan.Syntax.Common |
| holes | Mikan.Utils.List |
| holes1Of | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| holesOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| holeTarget | Mikan.Syntax.Notation |
| hPi | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| hPi' | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| href | Mikan.Syntax.Common.Pretty |
| hsep | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| hsepWith | Mikan.Syntax.Common.Pretty |
| htmlBackend | Mikan.Interaction.Highlighting.HTML.Backend, Mikan.Interaction.Highlighting.HTML |
| HtmlHighlight | Mikan.Interaction.Highlighting.HTML.Base |
| htmlOptCssFile | Mikan.Interaction.Highlighting.HTML.Base |
| htmlOptDir | Mikan.Interaction.Highlighting.HTML.Base |
| htmlOptHighlight | Mikan.Interaction.Highlighting.HTML.Base |
| htmlOptHighlightOccurrences | Mikan.Interaction.Highlighting.HTML.Base |
| HtmlOptions | |
| 1 (Type/Class) | Mikan.Interaction.Highlighting.HTML.Base |
| 2 (Data Constructor) | Mikan.Interaction.Highlighting.HTML.Base |