A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
!
$
+
.
/
<
=
>
|
-

Index - N

Name
1 (Type/Class)	Agda.Syntax.Concrete.Name, Agda.Syntax.Concrete
2 (Data Constructor)	Agda.Syntax.Concrete.Name, Agda.Syntax.Concrete
3 (Type/Class)	Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop
4 (Data Constructor)	Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop
5 (Data Constructor)	Agda.Interaction.Highlighting.Precise
nameBindingSite	Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop
nameConcrete	Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop
Named
1 (Type/Class)	Agda.Syntax.Common
2 (Data Constructor)	Agda.Syntax.Common
named	Agda.Syntax.Common
NamedArg	Agda.Syntax.Common
NamedClause
1 (Type/Class)	Agda.Syntax.Translation.InternalToAbstract, Agda.Interaction.GhciTop
2 (Data Constructor)	Agda.Syntax.Translation.InternalToAbstract, Agda.Interaction.GhciTop
namedThing	Agda.Syntax.Common
nameFixity	Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop
nameFreq	Agda.TypeChecking.Test.Generators
NameFreqs
1 (Type/Class)	Agda.TypeChecking.Test.Generators
2 (Data Constructor)	Agda.TypeChecking.Test.Generators
nameFreqs	Agda.TypeChecking.Test.Generators
NameId
1 (Type/Class)	Agda.Syntax.Common
2 (Data Constructor)	Agda.Syntax.Common
nameId	Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop
NameKind	Agda.Interaction.Highlighting.Precise
nameModifiers	Agda.Interaction.GhciTop
nameOf	Agda.Syntax.Common
nameOfBV	Agda.TypeChecking.Monad.Context, Agda.TypeChecking.Monad
NamePart	Agda.Syntax.Concrete.Name, Agda.Syntax.Concrete
nameParts	Agda.Syntax.Concrete.Name, Agda.Syntax.Concrete
NamesInScope	Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop
namesInScope	Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop
NameSpace
1 (Type/Class)	Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop
2 (Data Constructor)	Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop
NameSpaceId	Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop
NameTag	Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop
Nat
1 (Type/Class)	Agda.Auto.Syntax
2 (Type/Class)	Agda.Syntax.Common
3 (Type/Class)	Agda.TypeChecking.Primitive
4 (Data Constructor)	Agda.TypeChecking.Primitive
natural	Agda.Utils.TestHelpers
neg	Agda.TypeChecking.Polarity
Negative	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
neighbours	Agda.Utils.Graph
nest
1 (Function)	Agda.Utils.Pretty
2 (Function)	Agda.TypeChecking.Pretty
nestedComment	Agda.Syntax.Parser.Comments
NeutralLevel	Agda.TypeChecking.Level
newArgsMeta	Agda.TypeChecking.MetaVars, Agda.Interaction.GhciTop
newArgsMetaCtx	Agda.TypeChecking.MetaVars, Agda.Interaction.GhciTop
newCall	Agda.Utils.Trace
newCTree	Agda.Auto.NarrowingSearch
newEdge	Agda.Utils.Warshall
NewFlex	Agda.Utils.Warshall
newLayoutContext	Agda.Syntax.Parser.Layout
newMeta
1 (Function)	Agda.Auto.NarrowingSearch
2 (Function)	Agda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad
newMeta'	Agda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad
NewModuleName	Agda.Syntax.Translation.ConcreteToAbstract, Agda.Interaction.GhciTop
NewModuleQName
1 (Type/Class)	Agda.Syntax.Translation.ConcreteToAbstract, Agda.Interaction.GhciTop
2 (Data Constructor)	Agda.Syntax.Translation.ConcreteToAbstract, Agda.Interaction.GhciTop
NewName	Agda.Syntax.Translation.ConcreteToAbstract, Agda.Interaction.GhciTop
newPlaceholder	Agda.Auto.NarrowingSearch
newQuestionMark	Agda.TypeChecking.MetaVars, Agda.Interaction.GhciTop
newRecordMeta	Agda.TypeChecking.MetaVars, Agda.Interaction.GhciTop
newRecordMetaCtx	Agda.TypeChecking.MetaVars, Agda.Interaction.GhciTop
newSortMeta	Agda.TypeChecking.MetaVars, Agda.Interaction.GhciTop
newSortMetaCtx	Agda.TypeChecking.MetaVars, Agda.Interaction.GhciTop
newSubConstraints	Agda.Auto.NarrowingSearch
newTelMeta	Agda.TypeChecking.MetaVars, Agda.Interaction.GhciTop
newTypeMeta	Agda.TypeChecking.MetaVars, Agda.Interaction.GhciTop
newTypeMeta_	Agda.TypeChecking.MetaVars, Agda.Interaction.GhciTop
newValueMeta	Agda.TypeChecking.MetaVars, Agda.Interaction.GhciTop
newValueMeta'	Agda.TypeChecking.MetaVars, Agda.Interaction.GhciTop
newValueMetaCtx	Agda.TypeChecking.MetaVars, Agda.Interaction.GhciTop
newValueMetaCtx'	Agda.TypeChecking.MetaVars, Agda.Interaction.GhciTop
nextChar	Agda.Syntax.Parser.LookAhead
nextFresh	Agda.Utils.Fresh
nextName	Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop
nextNode	Agda.Utils.Warshall
nextPolarity	Agda.TypeChecking.Conversion
nextSuffix	Agda.Utils.Suffix
Nice	Agda.Syntax.Concrete.Definitions
NiceConstructor	Agda.Syntax.Concrete.Definitions
NiceDeclaration	Agda.Syntax.Concrete.Definitions
niceDeclarations	Agda.Syntax.Concrete.Definitions
NiceDef	Agda.Syntax.Concrete.Definitions
NiceDefinition	Agda.Syntax.Concrete.Definitions
NiceField	Agda.Syntax.Concrete.Definitions
NiceImport	Agda.Syntax.Concrete.Definitions
NiceModule	Agda.Syntax.Concrete.Definitions
NiceModuleMacro	Agda.Syntax.Concrete.Definitions
NiceOpen	Agda.Syntax.Concrete.Definitions
NicePragma	Agda.Syntax.Concrete.Definitions
NiceTypeSignature	Agda.Syntax.Concrete.Definitions
No
1 (Data Constructor)	Agda.TypeChecking.Coverage.Match
2 (Data Constructor)	Agda.TypeChecking.Patterns.Match
NoApp	Agda.TypeChecking.EtaContract
NoBind	Agda.Syntax.Internal
NoBindingForBuiltin	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
NoBody	Agda.Syntax.Internal
noConstraints	Agda.TypeChecking.Constraints
Node
1 (Type/Class)	Agda.Utils.Warshall
2 (Type/Class)	Agda.TypeChecking.Positivity
NodeId	Agda.Utils.Warshall
nodeMap	Agda.Utils.Warshall
nodes	Agda.Utils.Graph
NoExpectedFailure	Agda.Utils.QuickCheck
NoFunV	Agda.Syntax.Internal
NoId	Agda.Auto.Syntax
NoInsertNeeded	Agda.TypeChecking.Implicit
NoInv	Agda.TypeChecking.Injectivity
noiotastep	Agda.Auto.Typecheck
noiotastep'	Agda.Auto.Typecheck
NoLayout	Agda.Syntax.Parser.Monad
noLiterals	Agda.TypeChecking.Test.Generators
noMatchLit	Agda.TypeChecking.Coverage.Match
noModuleName	Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop
noMutualBlock	Agda.TypeChecking.Monad.Mutual, Agda.TypeChecking.Monad
NoName	Agda.Syntax.Concrete.Name, Agda.Syntax.Concrete
noName	Agda.Syntax.Concrete.Name, Agda.Syntax.Concrete
noName_	Agda.Syntax.Concrete.Name, Agda.Syntax.Concrete
NonApplication	Agda.Syntax.Abstract.Views
NonAssoc	Agda.Syntax.Fixity
NonEmpty	Agda.Utils.QuickCheck
NonEmptyList	Agda.Utils.QuickCheck
nonfixP	Agda.Syntax.Concrete.Operators.Parser
NonNegative
1 (Data Constructor)	Agda.Utils.QuickCheck
2 (Type/Class)	Agda.Utils.QuickCheck
NonPositively	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
NonZero
1 (Data Constructor)	Agda.Utils.QuickCheck
2 (Type/Class)	Agda.Utils.QuickCheck
NoParent	Agda.Utils.Trace
NoParseForApplication	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
NoParseForLHS	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
noPatternMatchingOnCodata	Agda.TypeChecking.Rules.LHS
Nope	Agda.Syntax.Info
NoPrio	Agda.Auto.NarrowingSearch
noProp	Agda.TypeChecking.Test.Generators
noRange	Agda.Syntax.Position, Agda.Interaction.GhciTop
NoReduction	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
NoRHSRequiresAbsurdPattern	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
norm
1 (Function)	Agda.Auto.Typecheck
2 (Function)	Agda.Auto.Convert
normal	Agda.Syntax.Parser.Lexer
Normalise	Agda.TypeChecking.Reduce, Agda.Interaction.GhciTop
normalise	Agda.TypeChecking.Reduce, Agda.Interaction.GhciTop
Normalised	Agda.Interaction.BasicOps
normalMetaPriority	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
noShadowingOfConstructors	Agda.TypeChecking.Rules.LHS
noShrink	Agda.TypeChecking.Test.Generators
NoSuchBuiltinName	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
NoSuchModule	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
NoSuchName	Agda.TypeChecking.Implicit
NoSuchPrimitiveFunction	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
NoSuffix	Agda.Utils.Suffix
not'	Agda.Syntax.Parser.Alex
NotADatatype	Agda.TypeChecking.Coverage
notAHaskellKind	Agda.Compiler.HaskellTypes
notAHaskellType	Agda.Compiler.HaskellTypes
NotAllowedInMutual	Agda.Syntax.Concrete.Definitions
NotAModuleExpr	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
NotAnExpression	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
NotAProperTerm	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
NotAValidLetBinding	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
NotB	Agda.Auto.NarrowingSearch
NotBlocked	Agda.Syntax.Internal
notBlocked	Agda.Syntax.Internal
NotDelayed	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
note	Agda.Interaction.Highlighting.Precise
NotFound	Agda.Interaction.FindFile
NotHidden
1 (Data Constructor)	Agda.Auto.Syntax
2 (Data Constructor)	Agda.Syntax.Common
notHiddenFreq	Agda.TypeChecking.Test.Generators
Nothing	Agda.Utils.Maybe
NothingAppliedToHiddenArg	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
NothingToSplit	Agda.TypeChecking.Rules.LHS.Problem
nothingToSplitError	Agda.TypeChecking.Rules.LHS.Instantiate
NotImplemented	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
NotInductive	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
NotInjective	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
NotInScope	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
notInScope	Agda.Syntax.Scope.Monad, Agda.Interaction.GhciTop
NotLeqSort	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
NotM	Agda.Auto.NarrowingSearch
NotPB	Agda.Auto.NarrowingSearch
noTrace	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
notSoNiceDeclarations	Agda.Syntax.Concrete.Definitions
NotStrictlyPositive	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
NotSupported	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
NoType
1 (Type/Class)	Agda.TypeChecking.Test.Generators
2 (Data Constructor)	Agda.TypeChecking.Test.Generators
NoUnify	Agda.TypeChecking.Rules.LHS.Unify
NoWhere	Agda.Syntax.Concrete
NoWithFunction	Agda.TypeChecking.Rules.Def
nPi	Agda.TypeChecking.Primitive
nsModules	Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop
nsNames	Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop
Number	Agda.Interaction.Highlighting.Precise
numOfMainS	Agda.Compiler.Alonzo.Main
numOfName	Agda.Compiler.Alonzo.Names
numOfQName	Agda.Compiler.Alonzo.Names
numTests	Agda.Utils.QuickCheck