finit 0.4.0

Finit is a library for defining sets of data, and then performing set operations on them. It is designed to be used for permission systems, but can be used for any kind of data that can be represented as a set.
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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88

use finit::Set;
use finit::operations::{DifferenceAssign, IntersectionAssign, UnionAssign};

#[derive(Set, UnionAssign, DifferenceAssign, IntersectionAssign, PartialEq, Debug)]
struct Test1 {
    field1: bool,
    field2: bool,
}

#[test]
fn derive_test_is_empty() {
    let value1 = Test1 {
        field1: false,
        field2: false,
    };
    assert!(value1.is_empty());

    let value2 = Test1 {
        field1: true,
        field2: false,
    };
    assert!(!value2.is_empty());
}

#[test]
fn derive_test_empty() {
    let value1 = Test1 {
        field1: false,
        field2: false,
    };
    assert_eq!(Test1::empty(), value1);
}

#[rstest::rstest]
#[case::both_false(Test1 {
    field1: false,
    field2: false,
}, Test1 {
    field1: false,
    field2: false,
}, Test1 {
    field1: false,
    field2: false,
})]
#[case::self_empty(Test1 {
    field1: false,
    field2: false,
}, Test1 {
    field1: true,
    field2: true,
}, Test1 {
    field1: true,
    field2: true,
})]
#[case::rhs_empty(Test1 {
    field1: true,
    field2: true,
}, Test1 {
    field1: false,
    field2: false,
}, Test1 {
    field1: true,
    field2: true,
})]
#[case::both_true(Test1 {
    field1: true,
    field2: true,
}, Test1 {
    field1: true,
    field2: true,
}, Test1 {
    field1: true,
    field2: true,
})]
#[case::combination(Test1 {
    field1: true,
    field2: false,
}, Test1 {
    field1: false,
    field2: true,
}, Test1 {
    field1: true,
    field2: true,
})]
fn derive_test(#[case] mut a: Test1, #[case] b: Test1, #[case] c: Test1) {
    a.union_assign(&b);
    assert_eq!(a, c);
}