projects/linux·blob v7.3 · refs

88 lines · 1.7 KiB

1// SPDX-License-Identifier: GPL-2.0
2
3//! Additional numerical features for the kernel.
4
5use core::ops;
6
7pub mod bounded;
8pub mod casts;
9
10pub use bounded::*;
11
12/// Designates unsigned primitive types.
13pub enum Unsigned {}
14
15/// Designates signed primitive types.
16pub enum Signed {}
17
18mod private {
19 pub trait Sealed {}
20}
21
22/// Describes core properties of integer types.
23pub trait Integer:
24 private::Sealed
25 + Sized
26 + Copy
27 + Clone
28 + PartialEq
29 + Eq
30 + PartialOrd
31 + Ord
32 + ops::Add<Output = Self>
33 + ops::AddAssign
34 + ops::Sub<Output = Self>
35 + ops::SubAssign
36 + ops::Mul<Output = Self>
37 + ops::MulAssign
38 + ops::Div<Output = Self>
39 + ops::DivAssign
40 + ops::Rem<Output = Self>
41 + ops::RemAssign
42 + ops::BitAnd<Output = Self>
43 + ops::BitAndAssign
44 + ops::BitOr<Output = Self>
45 + ops::BitOrAssign
46 + ops::BitXor<Output = Self>
47 + ops::BitXorAssign
48 + ops::Shl<u32, Output = Self>
49 + ops::ShlAssign<u32>
50 + ops::Shr<u32, Output = Self>
51 + ops::ShrAssign<u32>
52 + ops::Not
53{
54 /// Whether this type is [`Signed`] or [`Unsigned`].
55 type Signedness;
56
57 /// Number of bits used for value representation.
58 const BITS: u32;
59}
60
61macro_rules! impl_integer {
62 ($($type:ty: $signedness:ty), *) => {
63 $(
64 impl private::Sealed for $type {}
65
66 impl Integer for $type {
67 type Signedness = $signedness;
68
69 const BITS: u32 = <$type>::BITS;
70 }
71 )*
72 };
73}
74
75impl_integer!(
76 u8: Unsigned,
77 u16: Unsigned,
78 u32: Unsigned,
79 u64: Unsigned,
80 u128: Unsigned,
81 usize: Unsigned,
82 i8: Signed,
83 i16: Signed,
84 i32: Signed,
85 i64: Signed,
86 i128: Signed,
87 isize: Signed
88);