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

// numera::number::integer::pz
//
//! *Positive* integer numbers ([m][0m]/[o][0o]), from the set $\Z^+$ ($\N _1$) (`> 0`).
//!
//! $ \Z^+ = \lbrace 1, 2, … \rbrace $ ([oeis])
//!
//! This type corresponds with the *unsigned non-zero* primitives
//! ([`NonZeroU8`][core::num::NonZeroU8]…[`NonZeroU128`][core::num::NonZeroU128]).
//!
//! In this library they are also known as *counting numbers* ($\N _1$)
//! ([m][1m]). In ISO 80000-2:2019 they are also known as $\N^*$ ([I][2i]).
//!
//! [0m]: https://mathworld.wolfram.com/PositiveInteger.html
//! [0o]: https://oeis.org/wiki/Positive_integers
//! [oeis]: https://oeis.org/A000027
//! [1m]: https://mathworld.wolfram.com/CountingNumber.html
//! [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::PositiveIntegers;
pub use sized::{
    PositiveInteger128, PositiveInteger16, PositiveInteger32, PositiveInteger64, PositiveInteger8,
};

use crate::number::macros::{define_abbreviations, define_aliases};
define_abbreviations![sized Pz, PositiveInteger, 8, 16, 32, 64, 128];
define_abbreviations![family Pz, PositiveIntegers];
define_aliases![sized Counting, PositiveInteger, 8, 16, 32, 64, 128];
define_aliases![family Counting, PositiveIntegers];