| // | Data.Number.Peano |
| :| | Data.Number.Types, Data.Number |
| BiHom | Data.Number.Internal |
| biHom | Data.Number.Internal, Data.Number |
| Continued | Data.Number.Types, Data.Number |
| cut | Data.Number.Internal, Data.Number |
| decr | Data.Number.Peano |
| E | Data.Number.Types, Data.Number |
| e | Data.Number.Functions, Data.Number |
| first | Data.Number.Internal |
| fromList | Data.Number.Functions, Data.Number |
| fromNumber | Data.Number.Instances, Data.Number |
| fromPeano | Data.Number.Peano |
| Hom | Data.Number.Internal |
| hom | Data.Number.Internal, Data.Number |
| infinity | Data.Number.Peano |
| isSucc | Data.Number.Peano |
| isZero | Data.Number.Peano |
| join | Data.Number.Internal |
| M | Data.Number.Types, Data.Number |
| Nat | Data.Number.Peano, Data.Number |
| natLength | Data.Number.Peano |
| Neg | Data.Number.Peano |
| Number | Data.Number.Types, Data.Number |
| Peano | Data.Number.Peano |
| Pos | Data.Number.Peano |
| precision | Data.Number.Functions |
| rest | Data.Number.Internal |
| S | Data.Number.Peano, Data.Number |
| show' | Data.Number.Functions |
| Sign | Data.Number.Peano |
| split | Data.Number.Internal |
| takeNat | Data.Number.Peano |
| toList | Data.Number.Functions, Data.Number |
| toNat | Data.Number.Peano |
| toNumber | Data.Number.Internal, Data.Number |
| Whole | |
| 1 (Type/Class) | Data.Number.Peano, Data.Number |
| 2 (Data Constructor) | Data.Number.Peano, Data.Number |
| Z | Data.Number.Peano, Data.Number |
| π | Data.Number.Functions, Data.Number |
| σ | Data.Number.Functions, Data.Number |
| φ | Data.Number.Functions, Data.Number |