repr 0.8.0

The regular-expression-as-linear-logic interpretation and its implementation
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
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157

use repr::wrappers::{one, seq, zero};

#[test]
fn reflexivity() {
    assert_eq!(seq(['a']), seq(['a']));
    assert_eq!(seq(['a']).mul(seq(['b'])), seq(['a']).mul(seq(['b'])));
    assert_eq!(seq(['a']).or(seq(['b'])), seq(['a']).or(seq(['b'])));
    assert_eq!(seq(['a']).inf(), seq(['a']).inf());
    assert_eq!(seq(['a']).add(seq(['b'])), seq(['a']).add(seq(['b'])));
    assert_eq!(seq(['a']).and(seq(['b'])), seq(['a']).and(seq(['b'])));
}

#[test]
fn mul_linearity() {
    assert_eq!(seq(['a']).mul(seq(['b'])), seq(['a', 'b']));
    assert_eq!(
        seq(['a']).mul(seq(['b'])).mul(seq(['c'])),
        seq(['a', 'b', 'c'])
    );
    assert_eq!(
        seq(['a']).mul(seq(['b'])).mul(seq(['c']).mul(seq(['d']))),
        seq(['a', 'b', 'c', 'd'])
    );
}

#[test]
fn mul_unit() {
    assert_eq!(seq(['a']).mul(one()), seq(['a']));
    assert_eq!(one().mul(seq(['a'])), seq(['a']));
}

#[test]
fn mul_non_commutativity() {
    assert_ne!(seq(['a']).mul(seq(['b'])), seq(['b']).mul(seq(['a'])));
}

#[test]
fn mul_non_idempotence() {
    assert_ne!(seq(['a']).mul(seq(['a'])), seq(['a']));
}

#[test]
fn mul_associativity() {
    assert_eq!(
        seq(['a']).mul(seq(['b']).mul(seq(['c']))),
        seq(['a']).mul(seq(['b'])).mul(seq(['c']))
    );
}

#[test]
fn or_unit() {
    assert_eq!(seq(['a']).or(zero()), seq(['a']));
    assert_eq!(zero().or(seq(['a'])), seq(['a']));
}

/// a ⊕ b = b ⊕ a
#[test]
fn or_commutativity() {
    assert_eq!(seq(['a']).or(seq(['b'])), seq(['b']).or(seq(['a'])));
}

/// a ⊕ (b ⊕ c) = (a ⊕ b) ⊕ c
#[test]
fn or_associativity() {
    assert_eq!(
        seq(['a']).or(seq(['b']).or(seq(['c']))),
        seq(['a']).or(seq(['b'])).or(seq(['c']))
    );
}

/// a ⊕ a = a
#[test]
fn or_idempotence() {
    assert_eq!(seq(['a']).or(seq(['a'])), seq(['a']));
}

#[test]
fn inf_idempotence() {
    assert_eq!(seq(['a']).inf().inf(), seq(['a']).inf());
}

#[test]
fn add_non_commutativity() {
    assert_ne!(seq(['a']).add(seq(['b'])), seq(['b']).add(seq(['a'])));
}

#[test]
fn add_non_idempotence() {
    assert_ne!(seq(['a']).add(seq(['a'])), seq(['a']));
}

#[test]
fn add_associativity() {
    assert_eq!(
        seq(['a']).add(seq(['b']).add(seq(['c']))),
        seq(['a']).add(seq(['b'])).add(seq(['c']))
    );
}

#[test]
fn and_commutativity() {
    assert_eq!(seq(['a']).and(seq(['b'])), seq(['b']).and(seq(['a'])));
}

#[test]
fn and_associativity() {
    assert_eq!(
        seq(['a']).and(seq(['b']).and(seq(['c']))),
        seq(['a']).and(seq(['b'])).and(seq(['c']))
    );
}

#[test]
fn and_idempotence() {
    assert_eq!(seq(['a']).and(seq(['a'])), seq(['a']));
}

#[test]
fn dual() {
    assert_eq!(seq(['a']).inf().dual(), seq(['a']).dual().sup());
}

#[test]
fn dual_involution() {
    assert_eq!(seq(['a']).dual().dual(), seq(['a']));
    assert_eq!(
        seq(['a']).mul(seq(['b'])).dual().dual(),
        seq(['a']).mul(seq(['b']))
    );
    assert_eq!(
        seq(['a']).or(seq(['b'])).dual().dual(),
        seq(['a']).or(seq(['b']))
    );
}

#[test]
fn nullability() {
    assert_eq!(zero::<char>().is_nullable(), false);
    assert_eq!(one::<char>().is_nullable(), true);
    assert_eq!(seq::<char, [_; 0]>([]).is_nullable(), true);
    assert_eq!(seq(['a']).is_nullable(), false);
    assert_eq!(one().mul(seq(['b'])).is_nullable(), false);
    assert_eq!(seq(['a']).mul(one()).is_nullable(), false);
    assert_eq!(seq(['a']).mul(seq(['b'])).is_nullable(), false);
    assert_eq!(one().or(seq(['b'])).is_nullable(), true);
    assert_eq!(seq(['a']).or(one()).is_nullable(), true);
    assert_eq!(seq(['a']).or(seq(['b'])).is_nullable(), false);
}

#[test]
fn derivatives() {
    assert_eq!(zero::<char>().der(seq(['a'])), zero());
    assert_eq!(one::<char>().der(seq(['a'])), zero());
    assert_eq!(seq::<char, [_; 0]>([]).der(seq(['a'])), zero());
    assert_eq!(seq(['a']).der(seq(['a'])), one());
    assert_eq!(seq(['a']).der(seq(['b'])), zero());
}