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

use alloc::vec::Vec;
use core::ops::Deref;

use unconst::unconst;

// #[cfg(feature = "quotient")]
// use crate::quotient::LiteralSearcher;
use crate::traits::Integral;

#[unconst]
#[derive_const(PartialEq)]
#[derive(Debug, Eq)]
pub struct Context<I: const Integral>(Vec<I>);

#[unconst]
impl<I: const Integral> Context<I> {
    // #[cfg(feature = "quotient")]
    // /// Scan the input for a matching prefix.
    // pub fn prefix(&self, prefixes: &LiteralSearcher<I>, from: usize) -> Option<I> {
    //     prefixes.find(&self[from..]).map(|(s, _)| self[from + s])
    // }
}

#[unconst]
impl<I: const Integral> const Deref for Context<I> {
    type Target = Vec<I>;

    fn deref(&self) -> &Vec<I> {
        &self.0
    }
}