handleError | Idris.Core.Elaborate |
Help | Idris.AbsSyntaxTree, Idris.AbsSyntax |
help | Idris.Help |
helphead | Idris.REPL |
Hidden | Idris.Core.Evaluate |
HideDisplay | Idris.AbsSyntaxTree, Idris.AbsSyntax |
hide_list | 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 |
hsimpleExpr | Idris.ParseExpr, Idris.Parser |