Index - H
hasFeature | Ide.Plugin.Tactic.FeatureSet |
hi_name | Ide.Plugin.Tactic.Types |
hi_provenance | Ide.Plugin.Tactic.Types |
hi_type | Ide.Plugin.Tactic.Types |
homo | Ide.Plugin.Tactic.Tactics |
homoLambdaCase | Ide.Plugin.Tactic.Tactics |
Homomorphism | Ide.Plugin.Tactic.TestTypes, Ide.Plugin.Tactic |
HomomorphismLambdaCase | Ide.Plugin.Tactic.TestTypes, Ide.Plugin.Tactic |
hyByName | Ide.Plugin.Tactic.Judgements |
HyInfo | |
1 (Type/Class) | Ide.Plugin.Tactic.Types |
2 (Data Constructor) | Ide.Plugin.Tactic.Types |
hyNamesInScope | Ide.Plugin.Tactic.Judgements |
Hypothesis | |
1 (Type/Class) | Ide.Plugin.Tactic.Types |
2 (Data Constructor) | Ide.Plugin.Tactic.Types |
hypothesisFromBindings | Ide.Plugin.Tactic.Judgements |