idris-0.9.20: Functional Programming Language with Dependent Types

Index - W

warnDisambIdris.Error
WarnOnlyIdris.AbsSyntaxTree, Idris.AbsSyntax
WarnPartialIdris.AbsSyntaxTree, Idris.AbsSyntax
WarnReachIdris.AbsSyntaxTree, Idris.AbsSyntax
warnTacticDeprecationIdris.ParseExpr, Idris.Parser
warnTotalityIdris.Output
WarrantyIdris.AbsSyntaxTree, Idris.AbsSyntax
weakenTmIdris.Core.TT
WEnvIdris.Core.WHNF
wExprIdris.Parser
WhatDocsIdris.IdeMode
whereBlockIdris.Parser
WhereNIdris.Core.TT
while_elaboratingIdris.Core.ProofState, Idris.Core.Elaborate
whiteSpaceIdris.ParseHelpers, Idris.Parser
WHNFIdris.AbsSyntaxTree, Idris.AbsSyntax
whnfIdris.Core.WHNF
WhoCalls 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
whoCallsIdris.WhoCalls
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
writeSourceUtil.System
writeSourceTextUtil.System