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

idris-1.3.2: 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
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