binator_utils 0.0.0

This contains utils combinator for binator
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

use binator_core::{
  Contexting,
  Parse,
  Parsed,
};

/// Implementation of [crate::Utils::not]
#[derive(Clone)]
pub struct Not<Parser> {
  parser: Parser,
}

/// Not Atom
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum NotAtom<Token, Stream> {
  /// Contains Success from the inner parser
  ParserParsedSuccess(Token, Stream),
  /// When inner parser Error
  ParserParsedInvalid,
}

impl<Stream, Context, Parser> Parse<Stream, Context> for Not<Parser>
where
  Stream: Clone,
  Context: Contexting<NotAtom<Parser::Token, Stream>>,
  Parser: Parse<Stream, Context>,
{
  type Token = Context;

  fn parse(&mut self, stream: Stream) -> Parsed<Context, Stream, Context> {
    match self.parser.parse(stream.clone()) {
      Parsed::Success { token, stream } => {
        Parsed::Failure(Context::new(NotAtom::ParserParsedSuccess(token, stream)))
      }
      Parsed::Failure(context) => Parsed::Success {
        token: context,
        stream,
      },
      Parsed::Error(context) => Parsed::Error(context.add(NotAtom::ParserParsedInvalid)),
    }
  }
}

// evil
/// Function style version of [crate::Utils::not]
pub fn not<Stream, Context, Parser>(parser: Parser) -> Not<Parser>
where
  Stream: Clone,
  Context: Contexting<NotAtom<Parser::Token, Stream>>,
  Parser: Parse<Stream, Context>,
{
  Not { parser }
}