Index - W
| weaken | |
| 1 (Function) | Data.Type.Fin |
| 2 (Function) | Data.Type.Fin.Indexed |
| Wit | |
| 1 (Type/Class) | Type.Class.Witness |
| 2 (Data Constructor) | Type.Class.Witness |
| Wit1 | |
| 1 (Type/Class) | Type.Class.Witness |
| 2 (Data Constructor) | Type.Class.Witness |
| Without | Data.Type.Remove |
| without | |
| 1 (Function) | Data.Type.Fin |
| 2 (Function) | Data.Type.Remove |
| WithoutAll | Data.Type.Difference |
| withoutAll | Data.Type.Difference |
| withSome | Type.Class.Higher |
| withSome2 | Type.Class.Higher |
| withSome3 | Type.Class.Higher |
| withV | Data.Type.Vector |
| withVecT | Data.Type.Vector |
| witMaybe | Type.Class.Witness |
| Witness | Type.Class.Witness |
| WitnessC | Type.Class.Witness |
| witnessed | Type.Class.Witness |
| Witnesses | Data.Type.Product |