idris-1.1.1: Functional Programming Language with Dependent Types

Index - H

handleErrorIdris.Core.Elaborate
hasEmptyPatIdris.Elab.Utils
HasLastTokenSpanIdris.Parser.Helpers, Idris.Parser
hasValidIBCVersionIdris.IBC
HeaderIdris.Docstrings
headerIRTS.JavaScript.Codegen
HelpIdris.REPL.Commands
helpIdris.REPL.Parser
hEndColouriseIdris.Colours
HiddenIdris.Core.Evaluate
HiddenClass 
1 (Type/Class)IRTS.JavaScript.Name
2 (Data Constructor)IRTS.JavaScript.Name
hiddenClassesIRTS.JavaScript.Codegen
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.Options
HRuleIdris.Docstrings
hsimpleExprIdris.Parser.Expr, Idris.Parser
hStartColouriseIdris.Colours
HtmlBlockIdris.Docstrings
HTMLOutputIdris.Options
hWriteDocIdris.Output