zmij/
traits.rs

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<i32, Output = Self>
36    + Shl<u32, Output = Self>
37    + Shr<i32, Output = Self>
38    + Shr<u32, Output = Self>
39    + BitOrAssign
40    + BitXorAssign
41    + PartialOrd
42    + Into<u64>
43    + Display
44{
45    type Signed: Ord;
46    fn wrapping_sub(self, other: Self) -> Self;
47    fn truncate(big: u64) -> Self;
48    fn enlarge(small: u32) -> Self;
49    fn to_signed(self) -> Self::Signed;
50}
51
52impl UInt for u32 {
53    type Signed = i32;
54    fn wrapping_sub(self, other: Self) -> Self {
55        self.wrapping_sub(other)
56    }
57    fn truncate(big: u64) -> Self {
58        big as u32
59    }
60    fn enlarge(small: u32) -> Self {
61        small
62    }
63    fn to_signed(self) -> Self::Signed {
64        self as i32
65    }
66}
67
68impl UInt for u64 {
69    type Signed = i64;
70    fn wrapping_sub(self, other: Self) -> Self {
71        self.wrapping_sub(other)
72    }
73    fn truncate(big: u64) -> Self {
74        big
75    }
76    fn enlarge(small: u32) -> Self {
77        u64::from(small)
78    }
79    fn to_signed(self) -> Self::Signed {
80        self as i64
81    }
82}
zmij/traits.rs

zmij/
traits.rs
