Index - W
| W | Predicate.Core, Predicate |
| withRefined1T | Predicate.Refined1 |
| withRefined1TIO | Predicate.Refined1 |
| withRefined1TP | Predicate.Refined1 |
| withRefined2T | Predicate.Refined2 |
| withRefined2TIO | Predicate.Refined2 |
| withRefined2TP | Predicate.Refined2 |
| withRefined3T | Predicate.Refined3 |
| withRefined3TIO | Predicate.Refined3 |
| withRefined3TP | Predicate.Refined3 |
| withRefinedT | Predicate.Refined, Predicate |
| withRefinedTIO | Predicate.Refined, Predicate |
| Wrap | Predicate.Prelude, Predicate |
| Wrap' | Predicate.Prelude, Predicate |
| WriteFile | Predicate.Prelude, Predicate |
| WriteFile' | Predicate.Prelude, Predicate |