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
use crate::*; pub struct Then<Iter, A, B> where Iter: Iterator + Clone, A: Parser<Iter>, B: Parser<Iter>, { a: A, b: B, _i: PhantomData<Iter>, } impl<Iter, A, B> Then<Iter, A, B> where Iter: Iterator + Clone, A: Parser<Iter>, B: Parser<Iter>, { pub(crate) fn new(a: A, b: B) -> Self { Self { a, b, _i: Default::default(), } } } impl<Iter, A, B> Parser<Iter> for Then<Iter, A, B> where Iter: Iterator + Clone, A: Parser<Iter>, B: Parser<Iter>, { type Output = (A::Output, B::Output); fn parse(&self, i: Iter) -> Option<(Iter, Self::Output)> { let (i, a) = self.a.parse(i)?; let (i, b) = self.b.parse(i)?; Some((i, (a, b))) } } #[cfg(test)] mod tests { use crate::prelude::*; #[test] fn positive() { assert_eq!(('a'.then('b')).parse_str("abc"), Some(("c", ('a', 'b')))) } #[test] fn negative() { assert_eq!(('a'.then('b')).parse_str("cab"), None); } }