Index - R
| rangeToRealSrcSpan | Wingman.Range |
| rangeToSrcSpan | Wingman.Range |
| recursion | Wingman.Tactics |
| RecursionOnWrongParam | Wingman.Types |
| RecursiveCall | Wingman.Types |
| recursiveHypothesis | Wingman.Judgements |
| RecursivePrv | Wingman.Types |
| Refine | Wingman.Types, Wingman.Plugin, Ide.Plugin.Tactic |
| refine | Wingman.Tactics |
| requireConcreteHole | Wingman.Machinery |
| requireNewHoles | Wingman.Tactics |
| restrictPositionForApplication | Wingman.Tactics |
| Reward | |
| 1 (Type/Class) | Wingman.Machinery |
| 2 (Data Constructor) | Wingman.Machinery |
| Rose | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| rose | Wingman.Types |
| rtr_ctx | Wingman.Types |
| rtr_extract | Wingman.Types |
| rtr_jdg | Wingman.Types |
| rtr_other_solns | Wingman.Types |
| rtr_trace | Wingman.Types |
| Rule | Wingman.Types |
| RuleM | Wingman.Types |
| runCurrentIde | Wingman.LanguageServer |
| runIde | Wingman.LanguageServer |
| runStaleIde | Wingman.LanguageServer |
| runTactic | Wingman.Machinery, Wingman.Tactics |
| RunTacticResults | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |