warnDisamb | Idris.Error |
WarnOnly | Idris.Options |
WarnPartial | Idris.Options |
WarnReach | Idris.Options |
warnTacticDeprecation | Idris.Parser.Expr |
warnTotality | Idris.Output |
Warranty | Idris.REPL.Commands |
warranty | Idris.ModeCommon |
Watch | Idris.REPL.Commands |
weakenTm | Idris.Core.TT |
WEnv | Idris.Core.WHNF |
WhatDocs | Idris.IdeMode |
WhereN | Idris.Core.TT |
while_elaborating | Idris.Core.ProofState, Idris.Core.Elaborate |
whiteSpace | Idris.Parser.Helpers |
WHNF | Idris.REPL.Commands |
whnf | Idris.Core.WHNF |
whnfArgs | Idris.Core.WHNF |
WHNF_Compute | Idris.Core.ProofState, Idris.Core.Elaborate |
whnf_compute | Idris.Core.Elaborate |
WHNF_ComputeArgs | Idris.Core.ProofState, Idris.Core.Elaborate |
whnf_compute_args | Idris.Core.Elaborate |
WhoCalls | |
1 (Data Constructor) | Idris.IdeMode |
2 (Data Constructor) | Idris.REPL.Commands |
whoCalls | Idris.WhoCalls |
withAppAllowed | Idris.AbsSyntaxTree, Idris.AbsSyntax |
withContext | Idris.AbsSyntax |
withContext_ | Idris.AbsSyntax |
withErrorReflection | Idris.Elab.Term |
withExtent | Idris.Parser.Stack, Idris.Parser.Helpers |
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 |