idris-1.1.0: Functional Programming Language with Dependent Types (Index - W)

idris-1.1.0: Functional Programming Language with Dependent Types

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Z
_
All

Index - W

warnDisamb	Idris.Error
WarnOnly	Idris.Options
WarnPartial	Idris.Options
WarnReach	Idris.Options
warnTacticDeprecation	Idris.Parser.Expr, Idris.Parser
warnTotality	Idris.Output
Warranty	Idris.REPL.Commands
warranty	Idris.ModeCommon
Watch	Idris.REPL.Commands
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.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
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