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

use core::ops::Range;

use unconst::unconst;

use crate::interval::Interval;
use crate::repr::Repr;
use crate::seq::Seq;
use crate::traits::Integral;

#[unconst]
impl<I: const Integral> const From<I> for Seq<I> {
    fn from(value: I) -> Self {
        Self::one(value)
    }
}

impl From<&str> for Seq<char> {
    fn from(value: &str) -> Self {
        Self::new(value.chars())
    }
}

#[unconst]
impl<I: const Integral> const From<Range<I>> for Interval<I> {
    fn from(range: Range<I>) -> Self {
        Interval(range.start, range.end)
    }
}

#[unconst]
impl<I: const Integral> const From<I> for Repr<I> {
    fn from(value: I) -> Repr<I> {
        Repr::Seq(Seq::one(value))
    }
}

#[unconst]
impl<I: const Integral> const From<Range<I>> for Repr<I> {
    fn from(range: Range<I>) -> Self {
        Repr::Interval(range.into())
    }
}

#[unconst]
impl<I: const Integral, T: Into<Repr<I>>> const From<[T; 1]> for Repr<I> {
    fn from(value: [T; 1]) -> Repr<I> {
        value.into_iter().nth(0).unwrap().into().inf()
    }
}