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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92

//! Type aliases for common bit sizes of [`Uint`] and [`Bits`].
use crate::{Bits, Uint};

/// [`Uint`] for `0` bits. Always zero. Similar to `()`.
pub type U0 = Uint<0, 0>;

/// [`Uint`] for `1` bit. Similar to [`bool`].
pub type U1 = Uint<1, 1>;

/// [`Uint`] for `8` bits. Similar to [`u8`].
pub type U8 = Uint<8, 1>;

/// [`Uint`] for `16` bits. Similar to [`u16`].
pub type U16 = Uint<16, 1>;

/// [`Uint`] for `32` bits. Similar to [`u32`].
pub type U32 = Uint<32, 1>;

/// [`Uint`] for `64` bits. Similar to [`u64`].
pub type U64 = Uint<64, 1>;

/// [`Uint`] for `128` bits. Similar to [`u128`].
pub type U128 = Uint<128, 2>;

macro_rules! bit_alias {
    ($($name:ident($bits:expr, $limbs:expr);)*) => {$(
        #[doc = concat!("[`Bits`] for `", stringify!($bits),"` bits.")]
        pub type $name = Bits<$bits, $limbs>;
    )*};
}

bit_alias! {
    B0(0, 0);
    B1(1, 1);
    B8(8, 1);
    B16(16, 1);
    B32(32, 1);
    B64(64, 1);
    B128(128, 2);
}

macro_rules! alias {
    ($($uname:ident $bname:ident ($bits:expr, $limbs:expr);)*) => {$(
        #[doc = concat!("[`Uint`] for `", stringify!($bits),"` bits.")]
        pub type $uname = Uint<$bits, $limbs>;
        #[doc = concat!("[`Bits`] for `", stringify!($bits),"` bits.")]
        pub type $bname = Bits<$bits, $limbs>;
    )*};
}

alias! {
    U160 B160 (160, 3);
    U192 B192 (192, 3);
    U256 B256 (256, 4);
    U320 B320 (320, 5);
    U384 B384 (384, 6);
    U448 B448 (448, 7);
    U512 B512 (512, 8);
    U768 B768 (768, 12);
    U1024 B1024 (1024, 16);
    U2048 B2048 (2048, 32);
    U4096 B4096 (4096, 64);
}

// TODO: I0, I1, I8, ... I4096

#[cfg(test)]
pub mod tests {
    use super::*;

    #[test]
    const fn instantiate_consts() {
        let _ = (U0::ZERO, U0::MAX, B0::ZERO);
        let _ = (U1::ZERO, U1::MAX, B1::ZERO);
        let _ = (U8::ZERO, U8::MAX, B8::ZERO);
        let _ = (U16::ZERO, U16::MAX, B16::ZERO);
        let _ = (U32::ZERO, U32::MAX, B32::ZERO);
        let _ = (U64::ZERO, U64::MAX, B64::ZERO);
        let _ = (U128::ZERO, U128::MAX, B128::ZERO);
        let _ = (U160::ZERO, U160::MAX, B160::ZERO);
        let _ = (U192::ZERO, U192::MAX, B192::ZERO);
        let _ = (U256::ZERO, U256::MAX, B256::ZERO);
        let _ = (U320::ZERO, U320::MAX, B320::ZERO);
        let _ = (U384::ZERO, U384::MAX, B384::ZERO);
        let _ = (U448::ZERO, U448::MAX, B448::ZERO);
        let _ = (U512::ZERO, U512::MAX, B512::ZERO);
        let _ = (U768::ZERO, U768::MAX, B768::ZERO);
        let _ = (U1024::ZERO, U1024::MAX, B1024::ZERO);
        let _ = (U2048::ZERO, U2048::MAX, B2048::ZERO);
        let _ = (U4096::ZERO, U4096::MAX, B4096::ZERO);
    }
}