PatCompat | Ide.Plugin.Tactic.GHC |
PatternMatchPrv | Ide.Plugin.Tactic.Types |
PatVal | |
1 (Type/Class) | Ide.Plugin.Tactic.Types |
2 (Data Constructor) | Ide.Plugin.Tactic.Types |
Penalize | |
1 (Type/Class) | Ide.Plugin.Tactic.Machinery |
2 (Data Constructor) | Ide.Plugin.Tactic.Machinery |
popRecursionStack | Ide.Plugin.Tactic.Types |
Provenance | Ide.Plugin.Tactic.Types |
pushRecursionStack | Ide.Plugin.Tactic.Types |
pv_ancestry | Ide.Plugin.Tactic.Types |
pv_datacon | Ide.Plugin.Tactic.Types |
pv_position | Ide.Plugin.Tactic.Types |
pv_scrutinee | Ide.Plugin.Tactic.Types |