Index - W
| WarnOnly | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| WarnPartial | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| weakenEnv | Core.TT |
| weakenTm | Core.TT |
| weakenTmEnv | Core.TT |
| wExpr | Idris.Parser |
| whereBlock | Idris.Parser |
| WhereN | Core.TT |
| whiteSpace | Idris.ParseHelpers, Idris.Parser |
| withTempdir | Util.System |
| Wk | Core.TT |
| WkEnv | Core.TT |
| WkEnvTT | Core.TT |
| writeIBC | Idris.IBC |