idris-1.0: Functional Programming Language with Dependent Types

- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- Z
- _
- All

Index - N

Name | Idris.Core.TT
name | Idris.Parser.Helpers, Idris.Parser
NameArg | Idris.Help
NamedImplementationDoc | Idris.Docs
nameMissing | Idris.CaseSplit
NameOutput | Idris.Core.TT
NamePart | Idris.Core.TT
namequote | Idris.Parser.Expr, Idris.Parser
nameRoot | Idris.CaseSplit
namesIn | Idris.AbsSyntaxTree, Idris.AbsSyntax
namesInNS | Idris.REPL.Browse
namespace |
1 (Function) | Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Function) | Idris.Parser
NamespaceArg | Idris.Help
namespacesInNS | Idris.REPL.Browse
namesUsed | Idris.Core.CaseTree
NameTArg | Idris.Parser.Expr, Idris.Parser
NameType | Idris.Core.TT
Native | IRTS.Lang, IRTS.Defunctionalise
NativeTy | Idris.Core.TT
nativeTyWidth | Idris.Core.TT
natural | Idris.Parser.Helpers, Idris.Parser
Never | Idris.Core.Typecheck
NewDefn | Idris.REPL.Commands
newProof | Idris.Core.ProofState, Idris.Core.Elaborate
new_tyDecls | Idris.AbsSyntaxTree, Idris.AbsSyntax
nextN | IRTS.LangOpts
nextName | Idris.Core.TT
nextname | Idris.Core.ProofState, Idris.Core.Elaborate
next_tvar | Idris.Core.Evaluate
NLet | Idris.Core.TT
NoArg | Idris.Help
NoBanner | Idris.AbsSyntaxTree, Idris.AbsSyntax
NoBasePkgs | Idris.AbsSyntaxTree, Idris.AbsSyntax
NoBuiltins | Idris.AbsSyntaxTree, Idris.AbsSyntax
noCaseLift | Idris.AbsSyntaxTree, Idris.AbsSyntax
NoCoverage | Idris.AbsSyntaxTree, Idris.AbsSyntax
Node | IRTS.CodegenJavaScript
noDocCommentHere | Idris.Parser.Helpers, Idris.Parser
noDocs | Idris.Docstrings
NoElimDeprecationWarnings | Idris.AbsSyntaxTree, Idris.AbsSyntax
NoEliminator | Idris.Core.TT
noErrors | Idris.AbsSyntax
NoFC | Idris.Core.TT
nofixityoperator | Idris.Parser.Ops, Idris.Parser
NoImplicit | Idris.AbsSyntaxTree, Idris.AbsSyntax
noImplicits | Idris.Parser.Expr, Idris.Parser
NoInline | IRTS.Lang, IRTS.Defunctionalise
NonCollapsiblePostulate | Idris.Core.TT
NONE | IRTS.CodegenCommon
NonFunctionType | Idris.Core.TT
noOccurrence | Idris.Core.TT
NoOldTacticDeprecationWarnings | Idris.AbsSyntaxTree, Idris.AbsSyntax
NOP |
1 (Data Constructor) | Idris.REPL.Commands
2 (Data Constructor) | IRTS.BCImp
noPartial | Idris.Termination
NoPrelude | Idris.AbsSyntaxTree, Idris.AbsSyntax
NoREPL | Idris.AbsSyntaxTree, Idris.AbsSyntax
NoRewriting | Idris.Core.TT
normalImplicit | Idris.Parser.Expr, Idris.Parser
normalise | Idris.Core.Evaluate
normaliseAll | Idris.Core.Evaluate
normaliseBlocking | Idris.Core.Evaluate
normaliseC | Idris.Core.Evaluate
normaliseTrace | Idris.Core.Evaluate
NoSuchVariable | Idris.Core.TT
NotCovering | Idris.Core.Evaluate
notEndApp | Idris.Parser.Helpers, Idris.Parser
notEndBlock | Idris.Parser.Helpers, Idris.Parser
NotEquality | Idris.Core.TT
NotInjective | Idris.Core.TT
notOpenBraces | Idris.Parser.Helpers, Idris.Parser
NotPositive | Idris.Core.Evaluate
NotProductive | Idris.Core.Evaluate
notunified | Idris.Core.ProofState, Idris.Core.Elaborate
NoTypeDecl | Idris.Core.TT
NoValidAlts | Idris.Core.TT
nowElaboratingPS | Idris.Core.ProofState, Idris.Core.Elaborate
now_elaborating | Idris.Core.Elaborate
no_errors | Idris.Core.Elaborate
no_imp | Idris.AbsSyntaxTree, Idris.AbsSyntax
NS | Idris.Core.TT
nsroot | Idris.Core.TT
nt_arity | Idris.Core.TT
nt_tag | Idris.Core.TT
nt_unique | Idris.Core.TT
NULL | IRTS.Bytecode
nullDocstring | Idris.Docstrings
NullType | Idris.Core.TT
NumberArg | Idris.Help