overflow-proof 0.1.0

Monadic checked arithmetic for Rust
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

use super::Checked;

pub trait CheckedAdd<Rhs = Self> {
    type Output;

    fn checked_add(self, rhs: Rhs) -> Option<Self::Output>;
}

pub trait CheckedSub<Rhs = Self> {
    type Output;

    fn checked_sub(self, rhs: Rhs) -> Option<Self::Output>;
}

pub trait CheckedMul<Rhs = Self> {
    type Output;

    fn checked_mul(self, rhs: Rhs) -> Option<Self::Output>;
}

pub trait CheckedDiv<Rhs = Self> {
    type Output;

    fn checked_div(self, rhs: Rhs) -> Option<Self::Output>;
}

pub trait CheckedRem<Rhs = Self> {
    type Output;

    fn checked_rem(self, rhs: Rhs) -> Option<Self::Output>;
}

pub trait CheckedAbs : Sized {
    type Output;

    fn checked_abs(self) -> Option<Self>;
}

pub trait CheckedNeg : Sized {
    type Output;

    fn checked_neg(self) -> Option<Self>;
}


macro_rules! impl_checked_trait_2_for {
    ($checked_t:tt, $checked_op:ident, $t:ty) => {

        impl $checked_t for $t {
            type Output = $t;

            fn $checked_op(self, rhs: Self) -> Option<Self::Output> {
                self.$checked_op(rhs)
            }
        }

        impl<D> $checked_t<Checked<$t, D>> for $t {
            type Output = $t;

            fn $checked_op(self, rhs: Checked<$t, D>) -> Option<Self::Output> {
                self.$checked_op(rhs.v)
            }
        }
    }
}

macro_rules! impl_checked_trait_1_for {
    ($checked_t:ty, $checked_op:ident, $t:ty) => {

        impl $checked_t for $t {
            type Output = $t;

            fn $checked_op(self) -> Option<Self::Output> {
                self.$checked_op()
            }
        }
    }
}

macro_rules! impl_checked_all {
    ($t:ty) => {
        impl_checked_trait_2_for!(CheckedAdd, checked_add, $t);
        impl_checked_trait_2_for!(CheckedSub, checked_sub, $t);
        impl_checked_trait_2_for!(CheckedMul, checked_mul, $t);
        impl_checked_trait_2_for!(CheckedDiv, checked_div, $t);
        impl_checked_trait_2_for!(CheckedRem, checked_rem, $t);
        impl_checked_trait_1_for!(CheckedNeg, checked_neg, $t);
    }
}

impl_checked_all!(usize);
impl_checked_all!(isize);
impl_checked_all!(u8);
impl_checked_all!(i8);
impl_checked_all!(u16);
impl_checked_all!(i16);
impl_checked_all!(u32);
impl_checked_all!(i32);
impl_checked_all!(u64);
impl_checked_all!(i64);
impl_checked_all!(u128);
impl_checked_all!(i128);

// nightly only
/*
impl_checked_trait_1_for!(CheckedAbs, checked_abs, std::num::NonZeroIsize);
impl_checked_trait_1_for!(CheckedAbs, checked_abs, std::num::NonZeroI8);
impl_checked_trait_1_for!(CheckedAbs, checked_abs, std::num::NonZeroI16);
impl_checked_trait_1_for!(CheckedAbs, checked_abs, std::num::NonZeroI32);
impl_checked_trait_1_for!(CheckedAbs, checked_abs, std::num::NonZeroI64);
impl_checked_trait_1_for!(CheckedAbs, checked_abs, std::num::NonZeroI128);
*/