warnDisamb | Idris.Error |
WarnOnly | Idris.AbsSyntaxTree, Idris.AbsSyntax |
WarnPartial | Idris.AbsSyntaxTree, Idris.AbsSyntax |
WarnReach | Idris.AbsSyntaxTree, Idris.AbsSyntax |
warnTacticDeprecation | Idris.Parser.Expr, Idris.Parser |
warnTotality | Idris.Output |
Warranty | Idris.AbsSyntaxTree, Idris.AbsSyntax |
Watch | Idris.AbsSyntaxTree, Idris.AbsSyntax |
weakenTm | Idris.Core.TT |
WEnv | Idris.Core.WHNF |
wExpr | Idris.Parser |
WhatDocs | Idris.IdeMode |
whereBlock | Idris.Parser |
WhereN | Idris.Core.TT |
while_elaborating | Idris.Core.ProofState, Idris.Core.Elaborate |
whiteSpace | Idris.Parser.Helpers, Idris.Parser |
WHNF | Idris.AbsSyntaxTree, Idris.AbsSyntax |
whnf | Idris.Core.WHNF |
WhoCalls | |
1 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
2 (Data Constructor) | Idris.IdeMode |
whoCalls | Idris.WhoCalls |
withAppAllowed | Idris.AbsSyntaxTree, Idris.AbsSyntax |
withContext | Idris.AbsSyntax |
withContext_ | Idris.AbsSyntax |
withErrorReflection | Idris.Elab.Term |
WithFnType | Idris.Core.TT |
WithN | Idris.Core.TT |
withTempdir | Util.System |
WorldType | Idris.Core.TT |
writeHighlights | Idris.Output |
writeIBC | Idris.IBC |
writePkgIndex | Idris.IBC |
writePortable | IRTS.Portable |
writeSource | Util.System |
writeSourceText | Util.System |