premise 0.1.5

the core pattern library of Premise: sequences, tables, records, money, days and text, every function carrying the reason it exists
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

pub trait Bounded {
    type Of: Copy;
    const LO: Self::Of;
    const HI: Self::Of;
}

pub trait HasMax {
    type Of: Copy;
    const MAX: Self::Of;
}

pub trait HasMin {
    type Of: Copy;
    const MIN: Self::Of;
}

impl<T: Bounded> HasMax for T {
    type Of = <T as Bounded>::Of;
    const MAX: Self::Of = <T as Bounded>::HI;
}

impl<T: Bounded> HasMin for T {
    type Of = <T as Bounded>::Of;
    const MIN: Self::Of = <T as Bounded>::LO;
}