Index - H
| handleError | Idris.Core.Elaborate |
| hasEmptyPat | Idris.Elab.Utils |
| HasLastTokenSpan | Idris.Parser.Helpers, Idris.Parser |
| hasValidIBCVersion | Idris.IBC |
| Header | Idris.Docstrings |
| Help | Idris.REPL.Commands |
| help | Idris.REPL.Parser |
| hEndColourise | Idris.Colours |
| Hidden | Idris.Core.Evaluate |
| HideDisplay | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| hide_list | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| highestFC | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| highlighting | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| highlightP | Idris.Parser.Helpers, Idris.Parser |
| highlightSource | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Hole | |
| 1 (Data Constructor) | Idris.Core.TT |
| 2 (Type/Class) | Idris.Core.ProofTerm |
| Holes | Idris.Core.TT |
| holes | Idris.Core.ProofState, Idris.Core.Elaborate |
| HowMuchDocs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| HRule | Idris.Docstrings |
| hsimpleExpr | Idris.Parser.Expr, Idris.Parser |
| hStartColourise | Idris.Colours |
| HtmlBlock | Idris.Docstrings |
| HTMLOutput | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| hWriteDoc | Idris.Output |