Index - W
| warnDisamb | Idris.Error |
| WarnOnly | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| WarnPartial | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| WarnReach | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| warnTotality | Idris.Output |
| Warranty | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| warranty | Idris.REPL |
| weakenEnv | Idris.Core.TT |
| weakenTm | Idris.Core.TT |
| weakenTmEnv | Idris.Core.TT |
| wExpr | Idris.Parser |
| whereBlock | Idris.Parser |
| WhereN | Idris.Core.TT |
| while_elaborating | Idris.Core.ProofState, Idris.Core.Elaborate |
| whiteSpace | Idris.ParseHelpers, Idris.Parser |
| WhoCalls | |
| 1 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Data Constructor) | Idris.IdeSlave |
| whoCalls | Idris.WhoCalls |
| withContext | Idris.AbsSyntax |
| withContext_ | Idris.AbsSyntax |
| withErrorReflection | Idris.ElabTerm |
| WithN | Idris.Core.TT |
| Wk | Idris.Core.TT |
| WkEnv | Idris.Core.TT |
| WkEnvTT | Idris.Core.TT |
| writeIBC | Idris.IBC |