idris-1.0: Functional Programming Language with Dependent Types

Index - H

handleErrorIdris.Core.Elaborate
hasEmptyPatIdris.Elab.Utils
HasLastTokenSpanIdris.Parser.Helpers, Idris.Parser
hasValidIBCVersionIdris.IBC
HeaderIdris.Docstrings
HelpIdris.REPL.Commands
helpIdris.REPL.Parser
hEndColouriseIdris.Colours
HiddenIdris.Core.Evaluate
HideDisplayIdris.AbsSyntaxTree, Idris.AbsSyntax
hide_listIdris.AbsSyntaxTree, Idris.AbsSyntax
highestFCIdris.AbsSyntaxTree, Idris.AbsSyntax
highlightingIdris.AbsSyntaxTree, Idris.AbsSyntax
highlightPIdris.Parser.Helpers, Idris.Parser
highlightSourceIdris.AbsSyntaxTree, Idris.AbsSyntax
Hole 
1 (Data Constructor)Idris.Core.TT
2 (Type/Class)Idris.Core.ProofTerm
HolesIdris.Core.TT
holesIdris.Core.ProofState, Idris.Core.Elaborate
HowMuchDocsIdris.AbsSyntaxTree, Idris.AbsSyntax
HRuleIdris.Docstrings
hsimpleExprIdris.Parser.Expr, Idris.Parser
hStartColouriseIdris.Colours
HtmlBlockIdris.Docstrings
HTMLOutputIdris.AbsSyntaxTree, Idris.AbsSyntax
hWriteDocIdris.Output