idris-0.12.3: Functional Programming Language with Dependent Types

Index - N

NameIdris.Core.TT
nameIdris.Parser.Helpers, Idris.Parser
NameArgIdris.Help
NamedImplementationDocIdris.Docs
nameMissingIdris.CaseSplit
NameOutputIdris.Core.TT
NamePartIdris.Core.TT
namequoteIdris.Parser.Expr, Idris.Parser
nameRootIdris.CaseSplit
namesInIdris.AbsSyntaxTree, Idris.AbsSyntax
namesInNSIdris.REPL.Browse
namespace 
1 (Function)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Function)Idris.Parser
NamespaceArgIdris.Help
namespacesInNSIdris.REPL.Browse
namesUsedIdris.Core.CaseTree
NameTArgIdris.Parser.Expr, Idris.Parser
NameTypeIdris.Core.TT
NativeIRTS.Lang, IRTS.Defunctionalise
NativeTyIdris.Core.TT
nativeTyWidthIdris.Core.TT
naturalIdris.Parser.Helpers, Idris.Parser
NeverIdris.Core.Typecheck
NewDefnIdris.REPL.Commands
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.Parser.Helpers, Idris.Parser
noDocsIdris.Docstrings
NoElimDeprecationWarningsIdris.AbsSyntaxTree, Idris.AbsSyntax
NoEliminatorIdris.Core.TT
noErrorsIdris.AbsSyntax
NoFCIdris.Core.TT
nofixityoperatorIdris.Parser.Ops, Idris.Parser
NoImplicitIdris.AbsSyntaxTree, Idris.AbsSyntax
noImplicitsIdris.Parser.Expr, Idris.Parser
NoInlineIRTS.Lang, IRTS.Defunctionalise
NonCollapsiblePostulateIdris.Core.TT
NONEIRTS.CodegenCommon
NonFunctionTypeIdris.Core.TT
noOccurrenceIdris.Core.TT
NoOldTacticDeprecationWarningsIdris.AbsSyntaxTree, Idris.AbsSyntax
NOP 
1 (Data Constructor)Idris.REPL.Commands
2 (Data Constructor)IRTS.BCImp
noPartialIdris.Coverage
NoPreludeIdris.AbsSyntaxTree, Idris.AbsSyntax
NoREPLIdris.AbsSyntaxTree, Idris.AbsSyntax
NoRewritingIdris.Core.TT
normalImplicitIdris.Parser.Expr, Idris.Parser
normaliseIdris.Core.Evaluate
normaliseAllIdris.Core.Evaluate
normaliseBlockingIdris.Core.Evaluate
normaliseCIdris.Core.Evaluate
normaliseTraceIdris.Core.Evaluate
NoSuchVariableIdris.Core.TT
NotCoveringIdris.Core.Evaluate
notEndAppIdris.Parser.Helpers, Idris.Parser
notEndBlockIdris.Parser.Helpers, Idris.Parser
NotEqualityIdris.Core.TT
NotInjectiveIdris.Core.TT
notOpenBracesIdris.Parser.Helpers, Idris.Parser
NotPositiveIdris.Core.Evaluate
NotProductiveIdris.Core.Evaluate
notunifiedIdris.Core.ProofState, Idris.Core.Elaborate
NoTypeDeclIdris.Core.TT
NoValidAltsIdris.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