Index - G
| Generator | |
| 1 (Type/Class) | Wingman.KnownStrategies.QuickCheck |
| 2 (Data Constructor) | Wingman.KnownStrategies.QuickCheck |
| genericIsSubspan | Wingman.Judgements.SYB |
| genExpr | Wingman.KnownStrategies.QuickCheck |
| genRecursiveCount | Wingman.KnownStrategies.QuickCheck |
| getAlreadyDestructed | Wingman.LanguageServer |
| getAncestry | Wingman.Judgements |
| getCurrentDefinitions | Wingman.Context |
| getEvidenceAtHole | Wingman.Judgements.Theta |
| getFeatureSet | Wingman.LanguageServer |
| getFunBindId | Wingman.Context |
| getIdeDynflags | Wingman.LanguageServer |
| getInScope | Wingman.Naming |
| getInstance | Wingman.Context |
| getKnownInstance | Wingman.Context |
| getKnownThing | Wingman.Context |
| getPatVal | Wingman.Judgements |
| getRecordFields | Wingman.GHC |
| getRhsPosVals | Wingman.LanguageServer |
| getSpanAndTypeAtHole | Wingman.LanguageServer |
| getTacticConfig | Wingman.LanguageServer |
| getViaUnique | Wingman.Types |
| GoalMismatch | Wingman.Types |