1use core::fmt;
19
20use crate::error::{Error, Result};
21use crate::field::Bits;
22
23#[derive(Copy, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
43pub struct UInt<T, const N: usize> {
44 value: T,
45}
46
47macro_rules! impl_uint {
48 ($($t:ty),* $(,)?) => {
49 $(
50 impl<const N: usize> UInt<$t, N> {
51 pub const BITS: usize = N;
53
54 pub const MASK: $t = if N >= <$t>::BITS as usize {
56 <$t>::MAX
57 } else {
58 ((1 as $t) << N) - 1
59 };
60
61 pub const MAX: Self = Self { value: Self::MASK };
63
64 pub const MIN: Self = Self { value: 0 };
66
67 #[inline]
72 pub const fn new(value: $t) -> Self {
73 assert!(value <= Self::MASK, "value out of range for this width");
74 Self { value }
75 }
76
77 #[inline]
80 pub fn try_new(value: $t) -> Result<Self> {
81 if value <= Self::MASK {
82 Ok(Self { value })
83 } else {
84 Err(Error::ValueTooLarge {
85 value: value as u128,
86 bits: N as u32,
87 })
88 }
89 }
90
91 #[inline]
94 pub const fn from_raw(value: $t) -> Self {
95 Self { value: value & Self::MASK }
96 }
97
98 #[inline]
100 pub const fn value(self) -> $t {
101 self.value
102 }
103 }
104
105 impl<const N: usize> Default for UInt<$t, N> {
106 #[inline]
107 fn default() -> Self {
108 Self { value: 0 }
109 }
110 }
111
112 impl<const N: usize> Bits for UInt<$t, N> {
113 const BITS: u32 = N as u32;
114
115 #[inline]
116 fn into_bits(self) -> u128 {
117 self.value as u128
118 }
119
120 #[inline]
121 fn from_bits(raw: u128) -> Self {
122 Self::from_raw(raw as $t)
123 }
124 }
125
126 impl<const N: usize> fmt::Debug for UInt<$t, N> {
127 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
128 write!(f, "u{N}({})", self.value)
129 }
130 }
131
132 impl<const N: usize> fmt::Display for UInt<$t, N> {
133 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
134 fmt::Display::fmt(&self.value, f)
135 }
136 }
137
138 impl<const N: usize> From<UInt<$t, N>> for $t {
139 #[inline]
140 fn from(v: UInt<$t, N>) -> $t {
141 v.value
142 }
143 }
144
145 impl<const N: usize> TryFrom<$t> for UInt<$t, N> {
146 type Error = Error;
147 #[inline]
148 fn try_from(value: $t) -> Result<Self> {
149 Self::try_new(value)
150 }
151 }
152 )*
153 };
154}
155
156impl_uint!(u8, u16, u32, u64, u128);
157
158#[rustfmt::skip]
168#[allow(non_camel_case_types, missing_docs)] mod aliases {
170 use super::UInt;
171
172 pub type u1 = UInt<u8, 1>; pub type u2 = UInt<u8, 2>; pub type u3 = UInt<u8, 3>;
174 pub type u4 = UInt<u8, 4>; pub type u5 = UInt<u8, 5>; pub type u6 = UInt<u8, 6>;
175 pub type u7 = UInt<u8, 7>;
176
177 pub type u9 = UInt<u16, 9>; pub type u10 = UInt<u16, 10>; pub type u11 = UInt<u16, 11>;
179 pub type u12 = UInt<u16, 12>; pub type u13 = UInt<u16, 13>; pub type u14 = UInt<u16, 14>;
180 pub type u15 = UInt<u16, 15>;
181
182 pub type u17 = UInt<u32, 17>; pub type u18 = UInt<u32, 18>; pub type u19 = UInt<u32, 19>;
184 pub type u20 = UInt<u32, 20>; pub type u21 = UInt<u32, 21>; pub type u22 = UInt<u32, 22>;
185 pub type u23 = UInt<u32, 23>; pub type u24 = UInt<u32, 24>; pub type u25 = UInt<u32, 25>;
186 pub type u26 = UInt<u32, 26>; pub type u27 = UInt<u32, 27>; pub type u28 = UInt<u32, 28>;
187 pub type u29 = UInt<u32, 29>; pub type u30 = UInt<u32, 30>; pub type u31 = UInt<u32, 31>;
188
189 pub type u33 = UInt<u64, 33>; pub type u34 = UInt<u64, 34>; pub type u35 = UInt<u64, 35>;
191 pub type u36 = UInt<u64, 36>; pub type u37 = UInt<u64, 37>; pub type u38 = UInt<u64, 38>;
192 pub type u39 = UInt<u64, 39>; pub type u40 = UInt<u64, 40>; pub type u41 = UInt<u64, 41>;
193 pub type u42 = UInt<u64, 42>; pub type u43 = UInt<u64, 43>; pub type u44 = UInt<u64, 44>;
194 pub type u45 = UInt<u64, 45>; pub type u46 = UInt<u64, 46>; pub type u47 = UInt<u64, 47>;
195 pub type u48 = UInt<u64, 48>; pub type u49 = UInt<u64, 49>; pub type u50 = UInt<u64, 50>;
196 pub type u51 = UInt<u64, 51>; pub type u52 = UInt<u64, 52>; pub type u53 = UInt<u64, 53>;
197 pub type u54 = UInt<u64, 54>; pub type u55 = UInt<u64, 55>; pub type u56 = UInt<u64, 56>;
198 pub type u57 = UInt<u64, 57>; pub type u58 = UInt<u64, 58>; pub type u59 = UInt<u64, 59>;
199 pub type u60 = UInt<u64, 60>; pub type u61 = UInt<u64, 61>; pub type u62 = UInt<u64, 62>;
200 pub type u63 = UInt<u64, 63>;
201
202 pub type u65 = UInt<u128, 65>; pub type u66 = UInt<u128, 66>; pub type u67 = UInt<u128, 67>;
204 pub type u68 = UInt<u128, 68>; pub type u69 = UInt<u128, 69>; pub type u70 = UInt<u128, 70>;
205 pub type u71 = UInt<u128, 71>; pub type u72 = UInt<u128, 72>; pub type u73 = UInt<u128, 73>;
206 pub type u74 = UInt<u128, 74>; pub type u75 = UInt<u128, 75>; pub type u76 = UInt<u128, 76>;
207 pub type u77 = UInt<u128, 77>; pub type u78 = UInt<u128, 78>; pub type u79 = UInt<u128, 79>;
208 pub type u80 = UInt<u128, 80>; pub type u81 = UInt<u128, 81>; pub type u82 = UInt<u128, 82>;
209 pub type u83 = UInt<u128, 83>; pub type u84 = UInt<u128, 84>; pub type u85 = UInt<u128, 85>;
210 pub type u86 = UInt<u128, 86>; pub type u87 = UInt<u128, 87>; pub type u88 = UInt<u128, 88>;
211 pub type u89 = UInt<u128, 89>; pub type u90 = UInt<u128, 90>; pub type u91 = UInt<u128, 91>;
212 pub type u92 = UInt<u128, 92>; pub type u93 = UInt<u128, 93>; pub type u94 = UInt<u128, 94>;
213 pub type u95 = UInt<u128, 95>; pub type u96 = UInt<u128, 96>; pub type u97 = UInt<u128, 97>;
214 pub type u98 = UInt<u128, 98>; pub type u99 = UInt<u128, 99>; pub type u100 = UInt<u128, 100>;
215 pub type u101 = UInt<u128, 101>; pub type u102 = UInt<u128, 102>; pub type u103 = UInt<u128, 103>;
216 pub type u104 = UInt<u128, 104>; pub type u105 = UInt<u128, 105>; pub type u106 = UInt<u128, 106>;
217 pub type u107 = UInt<u128, 107>; pub type u108 = UInt<u128, 108>; pub type u109 = UInt<u128, 109>;
218 pub type u110 = UInt<u128, 110>; pub type u111 = UInt<u128, 111>; pub type u112 = UInt<u128, 112>;
219 pub type u113 = UInt<u128, 113>; pub type u114 = UInt<u128, 114>; pub type u115 = UInt<u128, 115>;
220 pub type u116 = UInt<u128, 116>; pub type u117 = UInt<u128, 117>; pub type u118 = UInt<u128, 118>;
221 pub type u119 = UInt<u128, 119>; pub type u120 = UInt<u128, 120>; pub type u121 = UInt<u128, 121>;
222 pub type u122 = UInt<u128, 122>; pub type u123 = UInt<u128, 123>; pub type u124 = UInt<u128, 124>;
223 pub type u125 = UInt<u128, 125>; pub type u126 = UInt<u128, 126>; pub type u127 = UInt<u128, 127>;
224}
225
226pub use aliases::*;
227
228#[cfg(test)]
229mod unit {
230 use super::*;
231
232 #[test]
233 fn construction_and_range() {
234 assert_eq!(u5::MAX.value(), 31);
235 assert_eq!(u5::MIN.value(), 0);
236 assert_eq!(u5::new(17).value(), 17);
237 assert!(u5::try_new(31).is_ok());
238 assert!(u5::try_new(32).is_err());
239 assert_eq!(u5::from_raw(0xFF).value(), 31);
241 }
242
243 #[test]
244 #[should_panic(expected = "value out of range")]
245 fn new_panics_on_overflow() {
246 let _ = u4::new(16);
247 }
248
249 #[test]
250 fn bits_round_trip() {
251 let v = u13::new(0x1ABC & 0x1FFF);
252 assert_eq!(<u13 as Bits>::BITS, 13);
253 assert_eq!(u13::from_bits(v.into_bits()), v);
254 assert!(v.into_bits() <= u13::MAX.value() as u128);
256 }
257
258 #[test]
259 fn conversions() {
260 let v = u12::new(0xABC);
261 let raw: u16 = v.into();
262 assert_eq!(raw, 0xABC);
263 assert_eq!(u12::try_from(0xABCu16).unwrap(), v);
264 assert!(u12::try_from(0x1000u16).is_err());
265 }
266
267 #[test]
268 fn widest_widths_work() {
269 assert_eq!(u127::MAX.value(), (1u128 << 127) - 1);
270 assert_eq!(u1::MAX.value(), 1);
271 }
272
273 #[test]
274 fn display_renders_the_plain_value() {
275 use alloc::string::ToString;
276 assert_eq!(u12::new(0xABC).to_string(), "2748");
277 assert_eq!(u5::new(0).to_string(), "0");
278 }
279
280 #[test]
281 fn debug_shows_the_width_and_value() {
282 use alloc::format;
283 assert_eq!(format!("{:?}", u4::new(0xA)), "u4(10)");
284 assert_eq!(format!("{:?}", u12::new(0xABC)), "u12(2748)");
285 }
286}