Contents
Index
idris-1.3.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
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