Generator | |
1 (Type/Class) | Ide.Plugin.Tactic.KnownStrategies.QuickCheck |
2 (Data Constructor) | Ide.Plugin.Tactic.KnownStrategies.QuickCheck |
genExpr | Ide.Plugin.Tactic.KnownStrategies.QuickCheck |
genRecursiveCount | Ide.Plugin.Tactic.KnownStrategies.QuickCheck |
getCurrentDefinitions | Ide.Plugin.Tactic.Context |
getFeatureSet | Ide.Plugin.Tactic.LanguageServer |
getFunBindId | Ide.Plugin.Tactic.Context |
getIdeDynflags | Ide.Plugin.Tactic.LanguageServer |
getInScope | Ide.Plugin.Tactic.Naming |
getModuleHypothesis | Ide.Plugin.Tactic.Context |
getPatName | Ide.Plugin.Tactic.GHC |
getRecordFields | Ide.Plugin.Tactic.GHC |
getRhsPosVals | Ide.Plugin.Tactic.LanguageServer |
getSpanAndTypeAtHole | Ide.Plugin.Tactic.LanguageServer |
getViaUnique | Ide.Plugin.Tactic.Types |
GoalMismatch | Ide.Plugin.Tactic.Types |
guardStructurallySmallerRecursion | Ide.Plugin.Tactic.Machinery |