idris-1.1.1: 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.Options
NoBasePkgsIdris.Options
NoBuiltinsIdris.Options
noCaseLiftIdris.AbsSyntaxTree, Idris.AbsSyntax
NoCoverageIdris.Options
NodeIRTS.CodegenJavaScript
noDocCommentHereIdris.Parser.Helpers, Idris.Parser
noDocsIdris.Docstrings
NoElimDeprecationWarningsIdris.Options
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.Options
NOP 
1 (Data Constructor)Idris.REPL.Commands
2 (Data Constructor)IRTS.BCImp
noPartialIdris.Termination
NoPreludeIdris.Options
NoREPLIdris.Options
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