numera 0.5.0

numbers
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

// numera::number::integer::nnz
//
//! *Non-negative* integer numbers ([m][0m]/[o][0o]), from the set $\Z^*$
//! ($\N _0$) (`>= 0`).
//!
//! $ \Z^* = \lbrace 0, 1, 2, … \rbrace $ ([oeis])
//!
//! This type corresponds with the *unsigned* primitives ([`u8`]…[`u128`]).
//!
//! In this library they are also known as *natural numbers* ($\N _0$)
//! ([m][1m]/[w][1w]). In ISO 80000-2:2019 they are also known as $\N$ ([I][2i]).
//!
//! [0m]: https://mathworld.wolfram.com/NonnegativeInteger.html
//! [0o]: https://oeis.org/wiki/Nonnegative_integers
//! [oeis]: http://oeis.org/A001477
//! [1m]: https://mathworld.wolfram.com/NaturalNumber.html
//! [1w]: https://en.wikipedia.org/wiki/Natural_number
//! [2i]: https://en.wikipedia.org/wiki/ISO/IEC_80000#cite_note-80000-2:2019-4
//

mod convert;
mod family;
mod integer;
mod ops;
mod sized;

pub use family::NonNegativeIntegers;
pub use sized::{
    NonNegativeInteger128, NonNegativeInteger16, NonNegativeInteger32, NonNegativeInteger64,
    NonNegativeInteger8,
};

use crate::number::macros::{define_abbreviations, define_aliases};
define_abbreviations![sized Nnz, NonNegativeInteger, 8, 16, 32, 64, 128];
define_abbreviations![family Nnz, NonNegativeIntegers];
define_aliases![sized Natural, NonNegativeInteger, 8, 16, 32, 64, 128];
define_aliases![family Naturals, NonNegativeIntegers];