Index - H
| handleError | Idris.Core.Elaborate |
| Header | Idris.Docstrings |
| Help | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| help | Idris.REPLParser |
| helphead | Idris.REPL |
| Hidden | Idris.Core.Evaluate |
| HideDisplay | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| hide_list | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| highestFC | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| HNF | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| hnf | Idris.Core.Evaluate |
| HNF_Compute | Idris.Core.ProofState, Idris.Core.Elaborate |
| hnf_compute | Idris.Core.Elaborate |
| Hole | |
| 1 (Data Constructor) | Idris.Core.TT |
| 2 (Type/Class) | Idris.Core.ProofTerm |
| holes | Idris.Core.ProofState, Idris.Core.Elaborate |
| HowMuchDocs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| HRule | Idris.Docstrings |
| hsimpleExpr | Idris.ParseExpr, Idris.Parser |
| HtmlBlock | Idris.Docstrings |
| HTMLOutput | Idris.AbsSyntaxTree, Idris.AbsSyntax |