// | 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 |