Index - S
| sameTypeModuloLastApp | Wingman.Judgements.SYB |
| scoreSolution | Wingman.Machinery |
| Shadowed | Wingman.Types |
| showLspMessage | Wingman.LanguageServer |
| simplify | Wingman.Simplify |
| SinglePatMatch | Wingman.GHC |
| sloppyEqOccName | Wingman.GHC |
| solutionSize | Wingman.Machinery |
| Span | Wingman.Types |
| spliceProvenance | Wingman.LanguageServer |
| split | Wingman.Tactics |
| splitAuto | Wingman.Tactics |
| splitConLike | Wingman.Tactics |
| splitDataCon | Wingman.Tactics |
| splitId | Wingman.Context |
| splitSingle | Wingman.Tactics |
| splitToDecl | Wingman.CaseSplit |
| substCTy | Wingman.Machinery |
| substJdg | Wingman.Judgements |
| Synthesized | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| syn_recursion_count | Wingman.Types |
| syn_scoped | Wingman.Types |
| syn_trace | Wingman.Types |
| syn_used_vals | Wingman.Types |
| syn_val | Wingman.Types |