Index - H
| handleError | Idris.Core.Elaborate |
| hasEmptyPat | Idris.Elab.Utils |
| hasValidIBCVersion | Idris.IBC |
| Header | Idris.Docstrings |
| header | IRTS.JavaScript.Codegen |
| Help | Idris.REPL.Commands |
| help | Idris.REPL.Parser |
| hEndColourise | Idris.Colours |
| Hidden | Idris.Core.Evaluate |
| HiddenClass | |
| 1 (Type/Class) | IRTS.JavaScript.Name |
| 2 (Data Constructor) | IRTS.JavaScript.Name |
| hiddenClasses | IRTS.JavaScript.Codegen |
| HideDisplay | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| hide_list | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| highestFC | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| highlight | Idris.Parser.Helpers |
| highlighting | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 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.Options |
| HRule | Idris.Docstrings |
| hsimpleExpr | Idris.Parser.Expr |
| hStartColourise | Idris.Colours |
| HtmlBlock | Idris.Docstrings |
| HTMLOutput | Idris.Options |