idris-0.9.20: Functional Programming Language with Dependent Types

Index - H

handleErrorIdris.Core.Elaborate
HasLastTokenSpanIdris.ParseHelpers, Idris.Parser
hasValidIBCVersionIdris.IBC
HeaderIdris.Docstrings
HelpIdris.AbsSyntaxTree, Idris.AbsSyntax
helpIdris.REPLParser
hEndColouriseIdris.Colours
HiddenIdris.Core.Evaluate
HideDisplayIdris.AbsSyntaxTree, Idris.AbsSyntax
hide_listIdris.AbsSyntaxTree, Idris.AbsSyntax
highestFCIdris.AbsSyntaxTree, Idris.AbsSyntax
highlightingIdris.AbsSyntaxTree, Idris.AbsSyntax
highlightPIdris.ParseHelpers, Idris.Parser
highlightSourceIdris.AbsSyntaxTree, Idris.AbsSyntax
hnfIdris.Core.Evaluate
HNF_ComputeIdris.Core.ProofState, Idris.Core.Elaborate
hnf_computeIdris.Core.Elaborate
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.ParseExpr, Idris.Parser
hStartColouriseIdris.Colours
HtmlBlockIdris.Docstrings
HTMLOutputIdris.AbsSyntaxTree, Idris.AbsSyntax
hWriteDocIdris.Output