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

use repr::wrappers::interval;

#[test]
fn or() {
    assert_eq!(
        interval('a', 'f').or(interval('g', 'z')),
        interval('a', 'z')
    );
}

#[test]
fn and() {
    assert_eq!(
        interval('a', 'm').and(interval('g', 'z')),
        interval('g', 'm')
    );
}