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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100

use core::cmp::PartialEq;

/// Trait to implement lower bounds on types.
/// ```
/// # use num_convert::ToMin;
/// assert_eq!(<i8 as ToMin<i8>>::to_min(), i8::MIN);
/// assert_eq!(<i8 as ToMin<i16>>::to_min(), i8::MIN as i16);
/// assert_eq!(<i8 as ToMin<i32>>::to_min(), i8::MIN as i32);
/// assert_eq!(<i8 as ToMin<i64>>::to_min(), i8::MIN as i64);
/// assert_eq!(<i8 as ToMin<isize>>::to_min(), i8::MIN as isize);
/// assert_eq!(<i8 as ToMin<i128>>::to_min(), i8::MIN as i128);
/// ```
pub trait ToMin<T>: Sized + PartialEq + Copy {
    /// Returns lower bounds of types.
    fn to_min() -> T;
}

/// Trait to implement upper bounds on types.
/// ```
/// # use num_convert::ToMax;
/// assert_eq!(<u8 as ToMax<u8>>::to_max(), u8::MAX);
/// assert_eq!(<u8 as ToMax<i16>>::to_max(), u8::MAX as i16);
/// assert_eq!(<u8 as ToMax<u32>>::to_max(), u8::MAX as u32);
/// assert_eq!(<u8 as ToMax<i64>>::to_max(), u8::MAX as i64);
/// assert_eq!(<u8 as ToMax<usize>>::to_max(), u8::MAX as usize);
/// assert_eq!(<u8 as ToMax<i128>>::to_max(), u8::MAX as i128);
/// ```
pub trait ToMax<T>: Sized + PartialEq + Copy {
    /// Returns upper bounds of types.
    fn to_max() -> T;
}

/// Trait for implementing the null value of types.
/// ```
/// # use num_convert::ToZero;
/// assert_eq!(u8::to_zero(), u8::MIN);
/// assert_eq!(i16::to_zero(), 0_i16);
/// assert_eq!(u32::to_zero(), u32::MIN);
/// assert_eq!(i64::to_zero(), 0_i64);
/// assert_eq!(usize::to_zero(), usize::MIN);
/// assert_eq!(i128::to_zero(), 0_i128);
/// ```
pub trait ToZero<T>: Sized + PartialEq + Copy {
    /// Returns zero of types.
    fn to_zero() -> T;
}

macro_rules! min_zero_max_impl {
    ( $trait_name:ident, $fn_name:ident, $for_type:ty; $($value_type:ty),*; $value:expr) => {
        $(
            impl $trait_name<$value_type> for $for_type {
                #[inline]
                fn $fn_name() -> $value_type {
                    $value
                }
            }
        )*
    }
}

min_zero_max_impl! { ToMin, to_min, i8; i8, i16, i32, i64, isize, i128; -128 }
min_zero_max_impl! { ToMin, to_min, i16; i16, i32, i64, isize, i128; -32_768 }
min_zero_max_impl! { ToMin, to_min, i32; i32, i64, isize, i128; -2_147_483_648 }
min_zero_max_impl! { ToMin, to_min, i64; i64, isize, i128; -9_223_372_036_854_775_808 }
min_zero_max_impl! { ToMin, to_min, isize; isize, i64, i128; -9_223_372_036_854_775_808 }
min_zero_max_impl! { ToMin, to_min, i128; i128; i128::MIN }

min_zero_max_impl! { ToMax, to_max, i8; i8, i16, i32, i64, isize, i128, u8, u16, u32, u64, usize, u128; 127 }
min_zero_max_impl! { ToMax, to_max, i16; i16, i32, i64, isize, i128, u16, u32, u64, usize, u128; 32_767 }
min_zero_max_impl! { ToMax, to_max, i32; i32, i64, isize, i128, u32, u64, usize, u128; 2_147_483_647 }
min_zero_max_impl! { ToMax, to_max, i64; i64, isize, i128, u64, usize, u128; 9_223_372_036_854_775_807 }
min_zero_max_impl! { ToMax, to_max, isize; i64, isize, i128, u64, usize, u128; 9_223_372_036_854_775_807 }
min_zero_max_impl! { ToMax, to_max, i128; i128, u128; 170_141_183_460_469_231_731_687_303_715_884_105_727 }

min_zero_max_impl! { ToMax, to_max, u8; i16, i32, i64, isize, i128, u8, u16, u32, u64, usize, u128; 255 }
min_zero_max_impl! { ToMax, to_max, u16; i32, i64, isize, i128, u16, u32, u64, usize, u128; 65_535 }
min_zero_max_impl! { ToMax, to_max, u32; i64, isize, i128, u32, u64, usize, u128; 4_294_967_295 }
min_zero_max_impl! { ToMax, to_max, u64; i128, u64, usize, u128; 18_446_744_073_709_551_615 }
min_zero_max_impl! { ToMax, to_max, usize; i128, u64, usize, u128; 18_446_744_073_709_551_615 }
min_zero_max_impl! { ToMax, to_max, u128; u128; u128::MAX }

min_zero_max_impl! { ToMin, to_min, u8; u8; 0_u8 }
min_zero_max_impl! { ToMin, to_min, u16; u16; 0_u16 }
min_zero_max_impl! { ToMin, to_min, u32; u32; 0_u32 }
min_zero_max_impl! { ToMin, to_min, u64; u64; 0_u64 }
min_zero_max_impl! { ToMin, to_min, usize; usize; 0_usize }
min_zero_max_impl! { ToMin, to_min, u128; u128; 0_u128 }

min_zero_max_impl! { ToZero, to_zero, u8; u8; 0_u8 }
min_zero_max_impl! { ToZero, to_zero, u16; u16; 0_u16 }
min_zero_max_impl! { ToZero, to_zero, u32; u32; 0_u32 }
min_zero_max_impl! { ToZero, to_zero, u64; u64; 0_u64 }
min_zero_max_impl! { ToZero, to_zero, usize; usize; 0_usize }
min_zero_max_impl! { ToZero, to_zero, u128; u128; 0_u128 }
min_zero_max_impl! { ToZero, to_zero, i8; i8; 0_i8 }
min_zero_max_impl! { ToZero, to_zero, i16; i16; 0_i16 }
min_zero_max_impl! { ToZero, to_zero, i32; i32; 0_i32 }
min_zero_max_impl! { ToZero, to_zero, i64; i64; 0_i64 }
min_zero_max_impl! { ToZero, to_zero, isize; isize; 0_isize }
min_zero_max_impl! { ToZero, to_zero, i128; i128; 0_i128 }