inter-val 0.1.2

Mathematical intervals, i.g., [a, b], (a, b), [a, b), and (a, b] on ℝ, and multi-dimensional axis-aligned boxes represented as Cartesian product of intervals.
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

use crate::BoundType;

pub trait Flip {
    type Flip: Flip<Flip = Self>;
    fn flip(self) -> Self::Flip;
}

pub(crate) trait IntoGeneral {
    type General;
    fn into_general(self) -> Self::General;
}

pub trait Boundary: Flip + Eq + PartialEq<BoundType> + Copy {
    fn less<T: PartialOrd>(&self, this: &T, t: &T) -> bool;

    fn is_inclusive(&self) -> bool {
        *self == BoundType::Inclusive
    }
    fn is_exclusive(&self) -> bool {
        *self == BoundType::Exclusive
    }
}

pub trait BoundaryOf<LR>: Boundary {
    type Ordered: Ord;
    fn into_ordered(self) -> Self::Ordered;
}