| N | |
| 1 (Type/Class) | OAlg.Data.Number, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Symbol |
| N' | OAlg.Entity.Natural |
| N0 | |
| 1 (Type/Class) | OAlg.Entity.Natural |
| 2 (Data Constructor) | OAlg.Entity.Natural |
| N1 | OAlg.Entity.Natural |
| N10 | OAlg.Entity.Natural |
| N2 | OAlg.Entity.Natural |
| N3 | OAlg.Entity.Natural |
| N4 | OAlg.Entity.Natural |
| N5 | OAlg.Entity.Natural |
| N6 | OAlg.Entity.Natural |
| N7 | OAlg.Entity.Natural |
| N8 | OAlg.Entity.Natural |
| N9 | OAlg.Entity.Natural |
| Nat | OAlg.Data.TypeLits |
| natSing | OAlg.Data.TypeLits |
| NatToChar | OAlg.Data.TypeLits |
| Natural | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Type/Class) | OAlg.Category.NaturalTransformable |
| NaturalConic | OAlg.Limes.Cone.Conic.Core, OAlg.Limes.Cone.Conic, OAlg.Limes.Cone |
| NaturalConicBi | OAlg.Limes.Cone.Conic.Duality, OAlg.Limes.Cone.Conic, OAlg.Limes.Cone |
| NaturalDiagrammatic | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| NaturalDiagrammaticBi | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| NaturalDiagrammaticFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| NaturalDiagrammaticW | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| NaturalFunctorial | OAlg.Category.NaturalTransformable |
| NaturalKernelCokernel | OAlg.Limes.Exact.Deviation |
| naturals | OAlg.Entity.Natural |
| NaturalTransformable | OAlg.Category.NaturalTransformable |
| NaturalTransformableDual1 | OAlg.Category.NaturalTransformable |
| NaturalTransformation | |
| 1 (Type/Class) | OAlg.Category.NaturalTransformable |
| 2 (Data Constructor) | OAlg.Category.NaturalTransformable |
| natVal | OAlg.Data.TypeLits |
| natVal' | OAlg.Data.TypeLits |
| negate | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| NegInf | OAlg.Data.Ord, OAlg.Prelude |
| nFactorize | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| nFactorize' | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| ngt | OAlg.Data.Equal, OAlg.Prelude |
| Nil | OAlg.Entity.FinList |
| nodAnyFst | OAlg.Entity.Natural |
| nodAnySnd | OAlg.Entity.Natural |
| Node | OAlg.Data.Tree |
| nodPred | OAlg.Entity.Natural |
| nodRefl | OAlg.Entity.Natural |
| NoMinusOne | OAlg.Structure.Exception |
| NonDeterministic | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| NoPredecor | OAlg.Control.Exception, OAlg.Prelude |
| Not | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| not | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| NotAddable | OAlg.Structure.Exception |
| NotApplicable | OAlg.Structure.Exception |
| NotEndo | OAlg.Structure.Exception |
| NotExponential | OAlg.Structure.Exception |
| Nothing | OAlg.Data.Maybe, OAlg.Prelude |
| NotInvertible | OAlg.Structure.Exception |
| NotLiftable | OAlg.Entity.Slice.Liftable |
| NotMultiplicable | OAlg.Structure.Exception |
| NotTransformable | OAlg.Structure.Exception |
| npower | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| nProduct | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| nProductForm | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| nProxy | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| nSum | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| ntimes | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| Number | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| numerator | OAlg.Data.Number, OAlg.Prelude |
| nValue | OAlg.Entity.Natural |