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
use crate::*;
use std::marker::PhantomData;
#[derive(Debug, PartialEq, Eq, Clone)]
pub struct Not<A, I = ()> {
a: A,
_i: PhantomData<I>,
}
impl<I: TimeTravel, A> Not<A, I>
where
A: Parser<I>,
{
#[inline]
pub fn new(a: A) -> Self {
Self { a, _i: PhantomData }
}
}
impl<I: TimeTravel, A> Parser<I> for Not<A, I>
where
A: Parser<I>,
{
type Output = ();
fn parse(&self, input: I) -> Option<Self::Output> {
let a = self.a.parse(input.ref_clone());
if let Some(_) = a {
None
} else {
Some(())
}
}
}
#[cfg(test)]
mod tests {
use crate::*;
#[test]
fn test() {
let code = "asd";
let span = code.span();
let a = substr("acd");
let x = a.not();
let r = x.parse(span);
println!("{:?}", r);
assert_eq!(r, Some(()))
}
}