numlike 0.1.5

Numeric traits for generic mathematics. Less restrictive alternative to num-traits.
Documentation 
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

// SPDX-FileCopyrightText: 2026 numlike contributors
//
// SPDX-License-Identifier: MIT OR Apache-2.0

pub trait MinFinite {
    const MIN_FINITE: Self;
}

pub trait MaxFinite {
    const MAX_FINITE: Self;
}

pub trait MinExtended {
    const MIN_EXTENDED: Self;
}

pub trait MaxExtended {
    const MAX_EXTENDED: Self;
}

pub trait Limits: MinFinite + MaxFinite + MinExtended + MaxExtended {}
impl<T: MinFinite + MaxFinite + MinExtended + MaxExtended> Limits for T {}

macro_rules! impl_limits_traits_for_ints {
    ($($ty:ty),*) => {
        $(
            impl MinFinite for $ty {
                const MIN_FINITE: Self = <$ty>::MIN;
            }

            impl MaxFinite for $ty {
                const MAX_FINITE: Self = <$ty>::MAX;
            }

            impl MinExtended for $ty {
                const MIN_EXTENDED: Self = <$ty>::MIN;
            }

            impl MaxExtended for $ty {
                const MAX_EXTENDED: Self = <$ty>::MAX;
            }
        )*
    };
}

macro_rules! impl_limits_traits_for_floats {
    ($($ty:ty),*) => {
        $(
            impl MinFinite for $ty {
                const MIN_FINITE: Self = <$ty>::MIN;
            }

            impl MaxFinite for $ty {
                const MAX_FINITE: Self = <$ty>::MAX;
            }

            impl MinExtended for $ty {
                const MIN_EXTENDED: Self = <$ty>::NEG_INFINITY;
            }

            impl MaxExtended for $ty {
                const MAX_EXTENDED: Self = <$ty>::INFINITY;
            }
        )*
    };
}

impl_limits_traits_for_ints!(i8, i16, i32, i64, i128, isize);
impl_limits_traits_for_ints!(u8, u16, u32, u64, u128, usize);
impl_limits_traits_for_floats!(f32, f64);