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
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
101
102
103
104
105
106
107
108
109
110
111
112
113

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

pub trait ExpFns: Exp + Exp2 + ExpM1 {}
impl<T: Exp + Exp2 + ExpM1> ExpFns for T {}

pub trait Exp {
    type Output;

    fn exp(self) -> Self::Output;
}

pub trait Exp2 {
    type Output;

    fn exp2(self) -> Self::Output;
}

pub trait ExpM1 {
    type Output;

    fn exp_m1(self) -> Self::Output;
}

pub trait CheckedExpFns: CheckedExp + CheckedExp2 + CheckedExpM1 {}
impl<T: CheckedExp + CheckedExp2 + CheckedExpM1> CheckedExpFns for T {}

pub trait CheckedExp {
    type Output;

    fn checked_exp(self) -> Option<Self::Output>;
}

pub trait CheckedExp2 {
    type Output;

    fn checked_exp2(self) -> Option<Self::Output>;
}

pub trait CheckedExpM1 {
    type Output;

    fn checked_exp_m1(self) -> Option<Self::Output>;
}

macro_rules! impl_exp_traits_for_floats {
    ($($ty:ty),*) => {
        $(
            impl Exp for $ty {
                type Output = $ty;

                #[inline]
                fn exp(self) -> Self::Output {
                    <$ty>::exp(self)
                }
            }

            impl Exp2 for $ty {
                type Output = $ty;

                #[inline]
                fn exp2(self) -> Self::Output {
                    <$ty>::exp2(self)
                }
            }

            impl ExpM1 for $ty {
                type Output = $ty;

                #[inline]
                fn exp_m1(self) -> Self::Output {
                    <$ty>::exp_m1(self)
                }
            }

            impl CheckedExp for $ty {
                type Output = $ty;

                #[inline]
                fn checked_exp(self) -> Option<Self::Output> {
                    let result = <$ty>::exp(self);

                    result.is_finite().then_some(result)
                }
            }

            impl CheckedExp2 for $ty {
                type Output = $ty;

                #[inline]
                fn checked_exp2(self) -> Option<Self::Output> {
                    let result = <$ty>::exp2(self);

                    result.is_finite().then_some(result)
                }
            }

            impl CheckedExpM1 for $ty {
                type Output = $ty;

                #[inline]
                fn checked_exp_m1(self) -> Option<Self::Output> {
                    let result = <$ty>::exp_m1(self);

                    result.is_finite().then_some(result)
                }
            }
        )*
    }
}

impl_exp_traits_for_floats!(f32, f64);