pets 0.1.2

Predicate existential types.
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66

std_prelude!();
use crate::prelude::*;

#[test]
fn true_accept() {
    use crate::preds::True;

    assert_eq!(True::pet(()).expect("Must be Some(..)").value(), ());
    assert_eq!(True::petref(&()).expect("Must be Some(..)").value(), &());
}

#[test]
fn false_reject() {
    use crate::preds::False;

    assert_eq!(False::pet(()), None);
    assert_eq!(False::petref(&()), None);
}

#[cfg(feature = "num-integer")]
#[test]
fn even_accept() {
    use crate::preds::Even;
    let accept: &[usize] = &[0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20];

    for &x in accept {
        assert_eq!(Even::pet(x).expect("Must be Some(..)").value(), x);
        assert_eq!(Even::petref(&x).expect("Must be Some(..)").value(), &x);
    }
}

#[cfg(feature = "num-integer")]
#[test]
fn even_reject() {
    use crate::preds::Even;
    let reject: &[usize] = &[1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21];

    for &x in reject {
        assert_eq!(Even::pet(x), None);
        assert_eq!(Even::petref(&x), None);
    }
}

#[cfg(feature = "num-integer")]
#[test]
fn odd_accept() {
    use crate::preds::Odd;
    let accept: &[usize] = &[1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21];

    for &x in accept {
        assert_eq!(Odd::pet(x).expect("Must be Some(..)").value(), x);
        assert_eq!(Odd::petref(&x).expect("Must be Some(..)").value(), &x);
    }
}

#[cfg(feature = "num-integer")]
#[test]
fn odd_reject() {
    use crate::preds::Odd;
    let reject: &[usize] = &[0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20];

    for &x in reject {
        assert_eq!(Odd::pet(x), None);
        assert_eq!(Odd::petref(&x), None);
    }
}