1use core::fmt::Display;
2use core::ops::{Add, BitAnd, BitOr, BitOrAssign, BitXorAssign, Div, Mul, Shl, Shr, Sub};
3
4pub trait Float: Copy {
5 const MANTISSA_DIGITS: u32;
6 const MIN_10_EXP: i32;
7 const MAX_10_EXP: i32;
8 const MAX_DIGITS10: u32;
9}
10
11impl Float for f32 {
12 const MANTISSA_DIGITS: u32 = Self::MANTISSA_DIGITS;
13 const MIN_10_EXP: i32 = Self::MIN_10_EXP;
14 const MAX_10_EXP: i32 = Self::MAX_10_EXP;
15 const MAX_DIGITS10: u32 = 9;
16}
17
18impl Float for f64 {
19 const MANTISSA_DIGITS: u32 = Self::MANTISSA_DIGITS;
20 const MIN_10_EXP: i32 = Self::MIN_10_EXP;
21 const MAX_10_EXP: i32 = Self::MAX_10_EXP;
22 const MAX_DIGITS10: u32 = 17;
23}
24
25pub trait UInt:
26 Copy
27 + From<u8>
28 + From<bool>
29 + Add<Output = Self>
30 + Sub<Output = Self>
31 + Mul<Output = Self>
32 + Div<Output = Self>
33 + BitAnd<Output = Self>
34 + BitOr<Output = Self>
35 + Shl<u8, Output = Self>
36 + Shl<i32, Output = Self>
37 + Shl<u32, Output = Self>
38 + Shr<i32, Output = Self>
39 + Shr<u32, Output = Self>
40 + BitOrAssign
41 + BitXorAssign
42 + PartialOrd
43 + Into<u64>
44 + Display
45{
46 type Signed: Ord;
47}
48
49impl UInt for u32 {
50 type Signed = i32;
51}
52
53impl UInt for u64 {
54 type Signed = i64;
55}