modtype 0.7.0

Macros that implement modular arithmetic integer types
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

#[test]
fn cmp() {
    #[modtype::use_modtype]
    type F = modtype::F<5u32>;

    for a in 0..=4 {
        for b in 0..=4 {
            assert_eq!(a == b, F(a) == F(b));
            assert_eq!(a != b, F(a) != F(b));
            assert_eq!(a.partial_cmp(&b), F(a).partial_cmp(&F(b)));
            assert_eq!(a < b, F(a) < F(b));
            assert_eq!(a <= b, F(a) <= F(b));
            assert_eq!(a > b, F(a) > F(b));
            assert_eq!(a >= b, F(a) >= F(b));
            assert_eq!(a.cmp(&b), F(a).cmp(&F(b)));
            assert_eq!(a.min(b), *F(a).min(F(b)));
            assert_eq!(a.max(b), *F(a).max(F(b)));
        }
    }
}