o3 0.9.0

shared-nothing primitives
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
38
39
40
41
42
43
44
45
46
47
48
49
50
51

macro_rules! bounded_unsigned {
    ($name:ident, $raw:ty) => {
        #[doc = concat!(
                                            "A `",
                                            stringify!($raw),
                                            "` proven to lie in the inclusive `MIN..=MAX` range."
                                        )]
        #[repr(transparent)]
        #[derive(Clone, Copy, Debug, PartialEq, Eq, PartialOrd, Ord, Hash)]
        pub struct $name<const MIN: $raw, const MAX: $raw>($raw);

        impl<const MIN: $raw, const MAX: $raw> $name<MIN, MAX> {
            pub const fn new(value: $raw) -> Option<Self> {
                if MIN <= MAX && value >= MIN && value <= MAX {
                    Some(Self(value))
                } else {
                    None
                }
            }

            pub const fn from_usize(value: usize) -> Option<Self> {
                if usize::BITS <= <$raw>::BITS || value <= <$raw>::MAX as usize {
                    Self::new(value as $raw)
                } else {
                    None
                }
            }

            pub const fn get(self) -> $raw {
                self.0
            }

            pub const fn min() -> $raw {
                MIN
            }

            pub const fn max() -> $raw {
                MAX
            }
        }

        impl<const MIN: $raw, const MAX: $raw> From<$name<MIN, MAX>> for $raw {
            fn from(value: $name<MIN, MAX>) -> Self {
                value.get()
            }
        }
    };
}

bounded_unsigned!(BoundedU32, u32);
bounded_unsigned!(BoundedU64, u64);