Index - H
| handleFilesChanged | Language.Rzk.VSCode.Handlers |
| handlers | Language.Rzk.VSCode.Lsp |
| happyError | Language.Rzk.Syntax.Par |
| HasPosition | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| hasPosition | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| hideTermData | Rzk.TypeCheck |
| hidingTerm | Rzk.TypeCheck |
| hintLemmas | Rzk.TypeCheck |
| Hole | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| holeCandidates | Rzk.TypeCheck |
| holeCubeVars | Rzk.TypeCheck |
| HoleData | |
| 1 (Type/Class) | Rzk.Diagnostic |
| 2 (Data Constructor) | Rzk.Diagnostic |
| holeData | Rzk.Diagnostic |
| holeDataCubeVars | Rzk.Diagnostic |
| holeDataGoal | Rzk.Diagnostic |
| holeDataName | Rzk.Diagnostic |
| holeDataShape | Rzk.Diagnostic |
| holeDataTermVars | Rzk.Diagnostic |
| holeDataTopes | Rzk.Diagnostic |
| holeDiagram | Rzk.TypeCheck |
| HoleE | Language.Rzk.Free.Syntax |
| HoleEntry | |
| 1 (Type/Class) | Rzk.TypeCheck |
| 2 (Data Constructor) | Rzk.TypeCheck |
| holeEntryName | Rzk.TypeCheck |
| holeEntryType | Rzk.TypeCheck |
| HoleF | Language.Rzk.Free.Syntax |
| holeGoal | Rzk.TypeCheck |
| holeGoalShape | Rzk.TypeCheck |
| HoleIdent | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Type/Class) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| HoleIdent' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| HoleIdentToken | |
| 1 (Type/Class) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| holeIdentToken | Language.Rzk.Free.Syntax |
| HoleInfo | |
| 1 (Type/Class) | Rzk.TypeCheck |
| 2 (Data Constructor) | Rzk.TypeCheck |
| holeIntroductions | Rzk.TypeCheck |
| holeLocation | Rzk.TypeCheck |
| holeName | |
| 1 (Function) | Language.Rzk.Free.Syntax |
| 2 (Function) | Rzk.TypeCheck |
| holesAreErrors | Rzk.TypeCheck |
| HoleT | Language.Rzk.Free.Syntax |
| HoleTE | Language.Rzk.Free.Syntax |
| holeTermVars | Rzk.TypeCheck |
| holeTopes | Rzk.TypeCheck |