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 |
nameRoot | Idris.CaseSplit |
namesIn | Idris.AbsSyntaxTree, Idris.AbsSyntax |
namesInNS | Idris.REPL.Browse |
namespace | Idris.AbsSyntaxTree, Idris.AbsSyntax |
NamespaceArg | Idris.Help |
namespacesInNS | Idris.REPL.Browse |
namesUsed | Idris.Core.CaseTree |
NameTArg | Idris.Parser.Expr |
NameType | Idris.Core.TT |
Native | IRTS.Lang, IRTS.Defunctionalise |
NativeTy | Idris.Core.TT |
nativeTyWidth | Idris.Core.TT |
natural | Idris.Parser.Helpers |
Never | Idris.Core.Typecheck |
NewDefn | Idris.REPL.Commands |
newProof | Idris.Core.ProofState, Idris.Core.Elaborate |
new_tyDecls | Idris.AbsSyntaxTree, Idris.AbsSyntax |
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.Options |
NoBasePkgs | Idris.Options |
NoBuiltins | Idris.Options |
noCaseLift | Idris.AbsSyntaxTree, Idris.AbsSyntax |
NoCoverage | Idris.Options |
Node | IRTS.CodegenJavaScript |
noDocs | Idris.Docstrings |
noErrors | Idris.AbsSyntax |
NoFC | Idris.Core.TT |
NoImplicit | Idris.AbsSyntaxTree, Idris.AbsSyntax |
noImplicits | Idris.Parser.Expr |
NoInline | IRTS.Lang, IRTS.Defunctionalise |
NonCollapsiblePostulate | Idris.Core.TT |
NONE | IRTS.CodegenCommon |
NonFunctionType | Idris.Core.TT |
noOccurrence | Idris.Core.TT |
NoOldTacticDeprecationWarnings | Idris.Options |
NOP | Idris.REPL.Commands |
NoPrelude | Idris.Options |
NoREPL | Idris.Options |
NoRewriting | Idris.Core.TT |
normalImplicit | Idris.Parser.Expr |
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 |
notEndBlock | Idris.Parser.Helpers |
NotEquality | Idris.Core.TT |
NotInjective | Idris.Core.TT |
notOpenBraces | Idris.Parser.Helpers |
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 |