Index - U
| ufmSeverity | Wingman.LanguageServer |
| unary_occ | Wingman.Metaprogramming.Parser |
| unary_occM | Wingman.Metaprogramming.Parser |
| uncoveredDataCons | Wingman.Machinery |
| unCType | Wingman.Types |
| unExtractM | Wingman.Types |
| UnguardedRHSs | Wingman.GHC |
| UnhelpfulDestruct | Wingman.Types |
| UnhelpfulRecursion | Wingman.Types |
| unHypothesis | Wingman.Types |
| unify | Wingman.Machinery |
| Uniquely | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| unpackMatches | Wingman.GHC |
| unsafeDefaultUniqueSupply | Wingman.Types |
| unsafeRender | Wingman.Debug, Wingman.Types |
| unsafeRender' | Wingman.Debug, Wingman.Types |
| unsafeRunStaleIde | Wingman.LanguageServer |
| unsafeRunStaleIdeFast | Wingman.LanguageServer |
| Unsaturated | Wingman.Tactics |
| unsetIsTopHole | Wingman.Judgements |
| unwhitelistingSplit | Wingman.Judgements |
| unXPat | Wingman.GHC |
| unzipTrace | Wingman.CodeGen |
| updateSubst | Wingman.GHC |
| use | Wingman.Tactics |
| UseDataCon | Wingman.Types |
| useNameFromContext | Wingman.Machinery |
| useNameFromHypothesis | Wingman.Machinery |
| UserFacingMessage | Wingman.Types |
| userHypothesis | Wingman.Judgements |
| UserPrv | Wingman.Types |
| userSplit | Wingman.Tactics |