idris-0.9.17.1: Functional Programming Language with Dependent Types

Index - N

NameIdris.Core.TT
nameIdris.ParseHelpers, Idris.Parser
NameArgIdris.Help
NamedInstanceDocIdris.Docs
nameMissingIdris.CaseSplit
NameOutputIdris.Core.TT
NamePartIdris.Core.TT
nameRootIdris.CaseSplit
namesInIdris.AbsSyntaxTree, Idris.AbsSyntax
namespace 
1 (Function)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Function)Idris.Parser
NamespaceArgIdris.Help
namesUsedIdris.Core.CaseTree
NameTArgIdris.ParseExpr, Idris.Parser
NameTypeIdris.Core.TT
NativeIRTS.Lang, IRTS.Defunctionalise
NativeTyIdris.Core.TT
nativeTyWidthIdris.Core.TT
naturalIdris.ParseHelpers, Idris.Parser
NErasedIdris.Core.TT
NeverIdris.Core.Typecheck
NewDefnIdris.AbsSyntaxTree, Idris.AbsSyntax
newProofIdris.Core.ProofState, Idris.Core.Elaborate
new_tyDeclsIdris.AbsSyntaxTree, Idris.AbsSyntax
nextNIRTS.LangOpts
nextNameIdris.Core.TT
nextnameIdris.Core.ProofState, Idris.Core.Elaborate
next_tvarIdris.Core.Evaluate
NLetIdris.Core.TT
NoArgIdris.Help
NoBannerIdris.AbsSyntaxTree, Idris.AbsSyntax
NoBasePkgsIdris.AbsSyntaxTree, Idris.AbsSyntax
NoBuiltinsIdris.AbsSyntaxTree, Idris.AbsSyntax
NoCoverageIdris.AbsSyntaxTree, Idris.AbsSyntax
NodeIRTS.CodegenJavaScript
noDocCommentHereIdris.ParseHelpers, Idris.Parser
noDocsIdris.Docstrings
NoEliminatorIdris.Core.TT
noErrorsIdris.AbsSyntax
nofixityoperatorIdris.ParseOps, Idris.Parser
NoImplicitIdris.AbsSyntaxTree, Idris.AbsSyntax
noImplicitsIdris.ParseExpr, Idris.Parser
NoInlineIRTS.Lang, IRTS.Defunctionalise
NonCollapsiblePostulateIdris.Core.TT
NONEIRTS.CodegenCommon
NonFunctionTypeIdris.Core.TT
noOccurrenceIdris.Core.TT
NOP 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)IRTS.BCImp
noPartialIdris.Coverage
NoPreludeIdris.AbsSyntaxTree, Idris.AbsSyntax
NoREPLIdris.AbsSyntaxTree, Idris.AbsSyntax
NoRewritingIdris.Core.TT
normaliseIdris.Core.Evaluate
normaliseAllIdris.Core.Evaluate
normaliseCIdris.Core.Evaluate
normaliseTraceIdris.Core.Evaluate
NoSuchVariableIdris.Core.TT
NotCoveringIdris.Core.Evaluate
notEndAppIdris.ParseHelpers, Idris.Parser
notEndBlockIdris.ParseHelpers, Idris.Parser
NotEqualityIdris.Core.TT
NotInjectiveIdris.Core.TT
notOpenBracesIdris.ParseHelpers, Idris.Parser
NotPositiveIdris.Core.Evaluate
NotProductiveIdris.Core.Evaluate
notunifiedIdris.Core.ProofState, Idris.Core.Elaborate
NoTypeDeclIdris.Core.TT
nowElaboratingPSIdris.Core.ProofState, Idris.Core.Elaborate
now_elaboratingIdris.Core.Elaborate
no_errorsIdris.Core.Elaborate
no_impIdris.AbsSyntaxTree, Idris.AbsSyntax
NSIdris.Core.TT
nsrootIdris.Core.TT
nt_arityIdris.Core.TT
nt_tagIdris.Core.TT
nt_uniqueIdris.Core.TT
NULLIRTS.Bytecode
nullDocstringIdris.Docstrings
NullTypeIdris.Core.TT
NumberArgIdris.Help