lowdim 0.7.2

Library for two- to four-dimensional integer geometry.
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

use core::cmp::Ordering;
use core::cmp::Ordering::*;

/// Utility function for chaining partial orderings.
///
/// Should probably be defined in [std::cmp::ordering].
pub fn partial_then(po0: Option<Ordering>, po1: Option<Ordering>) -> Option<Ordering> {
    match (po0, po1) {
        (None, _) => None,
        (_, None) => None,
        (Some(o0), Some(o1)) => match (o0, o1) {
            (Equal, Equal) => Some(Equal),

            (Less, Less) => Some(Less),
            (Less, Equal) => Some(Less),
            (Equal, Less) => Some(Less),

            (Greater, Greater) => Some(Greater),
            (Greater, Equal) => Some(Greater),
            (Equal, Greater) => Some(Greater),

            (Less, Greater) => None,
            (Greater, Less) => None,
        },
    }
}

/// Utility function for chaining total orderings lexicographically.
///
/// That is, the first component is most significant, and only in case
/// of equality the second component is considered.
///
/// Should probably be defined in [std::cmp::ordering].
pub fn lex_then(o0: Ordering, o1: Ordering) -> Ordering {
    match (o0, o1) {
        (Less, _) => Less,
        (Greater, _) => Greater,
        (Equal, o1) => o1,
    }
}