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

use core::ops::{Add, Div, Sub};
use num_traits::{Bounded, One};

pub trait MinValueAddOne {
    fn min_value_add_one() -> Self;
}

impl<T> MinValueAddOne for T
where
    T: Add<Output = Self> + Bounded + One,
{
    fn min_value_add_one() -> Self {
        Self::min_value() + Self::one()
    }
}

pub trait MaxValueSubOne {
    fn max_value_sub_one() -> Self;
}

impl<T> MaxValueSubOne for T
where
    T: Sub<Output = Self> + Bounded + One,
{
    fn max_value_sub_one() -> Self {
        Self::max_value() - Self::one()
    }
}

pub trait Two {
    fn two() -> Self;
}

impl<T> Two for T
where
    T: Add<Output = Self> + One,
{
    fn two() -> Self {
        Self::one() + Self::one()
    }
}

pub trait Middle {
    fn low() -> Self;
    fn high() -> Self;
}

impl<T> Middle for T
where
    T: Add<Output = Self> + Div<Output = Self> + Bounded + One + Two,
{
    fn low() -> Self {
        Self::min_value() / Self::two() + Self::max_value() / Self::two()
    }
    fn high() -> Self {
        Self::low() + Self::one()
    }
}