xdlol 0.0.0

Tests to study random data.
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
114
115
116
117
118
119

//! Traits for internal use
// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at http://mozilla.org/MPL/2.0/.

use std::ops;
use num;

/// Arithmetic operations for Signed.
pub trait SignedArithmetic
where
    for<'a> Self: num::Integer
        + ops::Neg
        + ops::Add<Self, Output = Self>
        + ops::Sub<Self, Output = Self>
        + ops::Mul<Self, Output = Self>
        + ops::Div<Self, Output = Self>
        + ops::Rem<Self, Output = Self>
        + ops::Add<&'a Self, Output = Self>
        + ops::Sub<&'a Self, Output = Self>
        + ops::Mul<&'a Self, Output = Self>
        + ops::Div<&'a Self, Output = Self>
        + ops::Rem<&'a Self, Output = Self>
        + ops::AddAssign<Self>
        + ops::SubAssign<Self>
        + ops::MulAssign<Self>
        + ops::DivAssign<Self>
        + ops::RemAssign<Self>,
{
}

impl<T> SignedArithmetic for T
where
    for<'a> T: From<T>
        + num::Integer
        + ops::Neg
        + ops::Add<T, Output = T>
        + ops::Sub<T, Output = T>
        + ops::Mul<T, Output = T>
        + ops::Div<T, Output = T>
        + ops::Rem<T, Output = T>
        + ops::Add<&'a T, Output = T>
        + ops::Sub<&'a T, Output = T>
        + ops::Mul<&'a T, Output = T>
        + ops::Div<&'a T, Output = T>
        + ops::Rem<&'a T, Output = T>
        + ops::AddAssign<T>
        + ops::SubAssign<T>
        + ops::MulAssign<T>
        + ops::DivAssign<T>
        + ops::RemAssign<T>
        + ops::AddAssign<&'a T>
        + ops::SubAssign<&'a T>
        + ops::MulAssign<&'a T>
        + ops::DivAssign<&'a T>
        + ops::RemAssign<&'a T>,
{
}

/// Arithmetic operations for Unsigned.
pub trait UnsignedArithmetic
where
    for<'a> Self: num::Integer
        + ops::Add<Self, Output = Self>
        + ops::Sub<Self, Output = Self>
        + ops::Mul<Self, Output = Self>
        + ops::Div<Self, Output = Self>
        + ops::Rem<Self, Output = Self>
        + ops::Add<&'a Self, Output = Self>
        + ops::Sub<&'a Self, Output = Self>
        + ops::Mul<&'a Self, Output = Self>
        + ops::Div<&'a Self, Output = Self>
        + ops::Rem<&'a Self, Output = Self>
        + ops::AddAssign<Self>
        + ops::SubAssign<Self>
        + ops::MulAssign<Self>
        + ops::DivAssign<Self>
        + ops::RemAssign<Self>,
{
}

impl<T> UnsignedArithmetic for T
where
    for<'a> T: From<T>
        + num::Integer
        + ops::Add<T, Output = T>
        + ops::Sub<T, Output = T>
        + ops::Mul<T, Output = T>
        + ops::Div<T, Output = T>
        + ops::Rem<T, Output = T>
        + ops::Add<&'a T, Output = T>
        + ops::Sub<&'a T, Output = T>
        + ops::Mul<&'a T, Output = T>
        + ops::Div<&'a T, Output = T>
        + ops::Rem<&'a T, Output = T>
        + ops::AddAssign<T>
        + ops::SubAssign<T>
        + ops::MulAssign<T>
        + ops::DivAssign<T>
        + ops::RemAssign<T>
        + ops::AddAssign<&'a T>
        + ops::SubAssign<&'a T>
        + ops::MulAssign<&'a T>
        + ops::DivAssign<&'a T>
        + ops::RemAssign<&'a T>,
{
}

/// Arithmetic that will return `None` instead of overflow
pub trait CheckedArithmetic
    : num::Integer + num::CheckedAdd + num::CheckedSub + num::CheckedMul + num::CheckedDiv
    {
}

impl<T> CheckedArithmetic for T
where
    T: num::Integer + num::CheckedAdd + num::CheckedSub + num::CheckedMul + num::CheckedDiv,
{
}