WarnOnly | Idris.AbsSyntaxTree, Idris.AbsSyntax |
WarnPartial | Idris.AbsSyntaxTree, Idris.AbsSyntax |
weakenEnv | Idris.Core.TT |
weakenTm | Idris.Core.TT |
weakenTmEnv | Idris.Core.TT |
wExpr | Idris.Parser |
whereBlock | Idris.Parser |
WhereN | Idris.Core.TT |
whiteSpace | Idris.ParseHelpers, Idris.Parser |
withErrorReflection | Idris.ElabTerm |
Wk | Idris.Core.TT |
WkEnv | Idris.Core.TT |
WkEnvTT | Idris.Core.TT |
writeIBC | Idris.IBC |