idris-1.1.0: Functional Programming Language with Dependent Types

Index - W

warnDisambIdris.Error
WarnOnlyIdris.Options
WarnPartialIdris.Options
WarnReachIdris.Options
warnTacticDeprecationIdris.Parser.Expr, Idris.Parser
warnTotalityIdris.Output
WarrantyIdris.REPL.Commands
warrantyIdris.ModeCommon
WatchIdris.REPL.Commands
weakenTmIdris.Core.TT
WEnvIdris.Core.WHNF
wExprIdris.Parser
WhatDocsIdris.IdeMode
whereBlockIdris.Parser
WhereNIdris.Core.TT
while_elaboratingIdris.Core.ProofState, Idris.Core.Elaborate
whiteSpaceIdris.Parser.Helpers, Idris.Parser
WHNFIdris.REPL.Commands
whnfIdris.Core.WHNF
whnfArgsIdris.Core.WHNF
WHNF_ComputeIdris.Core.ProofState, Idris.Core.Elaborate
whnf_computeIdris.Core.Elaborate
WHNF_ComputeArgsIdris.Core.ProofState, Idris.Core.Elaborate
whnf_compute_argsIdris.Core.Elaborate
WhoCalls 
1 (Data Constructor)Idris.IdeMode
2 (Data Constructor)Idris.REPL.Commands
whoCallsIdris.WhoCalls
withAppAllowedIdris.AbsSyntaxTree, Idris.AbsSyntax
withContextIdris.AbsSyntax
withContext_Idris.AbsSyntax
withErrorReflectionIdris.Elab.Term
WithFnTypeIdris.Core.TT
WithNIdris.Core.TT
withTempdirUtil.System
WorldTypeIdris.Core.TT
writeHighlightsIdris.Output
writeIBCIdris.IBC
writePkgIndexIdris.IBC
writePortableIRTS.Portable
writeSourceUtil.System
writeSourceTextUtil.System