anpa 0.11.0

A generic monadic parser combinator library inspired by Haskell's parsec.
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
50
51
52
53
54
55

use core::borrow::Borrow;

/// Trait for a type that can remove a prefix in the collection `Parent`.
pub trait Prefix<Parent, Result>: Copy {
    /// Remove the prefix described by this prefix from the haystack if present, and if so,
    /// return it along with the rest of the haystack.
    fn take_prefix(&self, haystack: Parent) -> Option<(Result, Parent)>;

    /// Remove the prefix described by this prefix from the haystack if present, and return
    /// the rest of the haystack (result is ignored).
    fn skip_prefix(&self, haystack: Parent) -> Option<Parent> {
        Some(self.take_prefix(haystack)?.1)
    }
}

impl<'a, T: PartialEq + Copy> Prefix<&'a [T], T> for T {
    fn take_prefix(&self, haystack: &'a [T]) -> Option<(T, &'a [T])> {
        haystack.split_first()
            .filter(|x| x.0 == self)
            .map(|x| (*x.0, x.1))
    }
}

impl<'a, T: PartialEq + Copy, S: Borrow<[T]> + Copy> Prefix<&'a [T], &'a [T]> for S {
    fn take_prefix(&self, haystack: &'a [T]) -> Option<(&'a [T], &'a [T])> {
        haystack.split_at_checked(self.borrow().len())
            .filter(|(prefix, _)| *prefix == self.borrow())
    }

    fn skip_prefix(&self, haystack: &'a [T]) -> Option<&'a [T]> {
        haystack.strip_prefix(self.borrow())
    }
}

impl<'a> Prefix<&'a str, char> for char {
    fn take_prefix(&self, haystack: &'a str) -> Option<(char, &'a str)> {
        let rest = haystack.strip_prefix(*self)?;
        Some((*self, rest))
    }

    fn skip_prefix(&self, haystack: &'a str) -> Option<&'a str> {
        haystack.strip_prefix(*self)
    }
}

impl<'a, S: Borrow<str> + Copy> Prefix<&'a str, &'a str> for S {
    fn take_prefix(&self, haystack: &'a str) -> Option<(&'a str, &'a str)> {
        haystack.split_at_checked(self.borrow().len())
            .filter(|(prefix, _)| *prefix == self.borrow())
    }

    fn skip_prefix(&self, haystack: &'a str) -> Option<&'a str> {
        haystack.strip_prefix(self.borrow())
    }
}