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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79

use core::ops::{
  FromResidual,
  Try,
};

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

use crate::UtilsAtom;

/// Implementation of [crate::Utils::try_fold_iter]
#[derive(Clone)]
pub struct TryFoldIter<Parser, IntoIter, Init, F> {
  parser: Parser,
  iter: IntoIter,
  init: Init,
  f: F,
}

/// Function style version of [crate::Utils::try_fold_iter]
pub fn try_fold_iter<Stream, Context, Parser, IntoIter, Acc, Init, Ret, F>(
  parser: Parser, iter: IntoIter, init: Init, f: F,
) -> TryFoldIter<Parser, IntoIter, Init, F>
where
  Parser: Parse<Stream, Context>,
  Stream: Streaming,
  Context: Contexting<UtilsAtom<Stream>>,
  IntoIter: IntoIterator + Clone,
  Init: Fn() -> Ret,
  F: Fn(Acc, Parser::Token, IntoIter::Item) -> Ret,
  Ret: Try<Output = Acc>,
  Parsed<Acc, Stream, Context>: FromResidual<Ret::Residual>,
{
  TryFoldIter {
    parser,
    iter,
    init,
    f,
  }
}

impl<Stream, Context, Parser, IntoIter, Acc, Init, Ret, F> Parse<Stream, Context>
  for TryFoldIter<Parser, IntoIter, Init, F>
where
  Parser: Parse<Stream, Context>,
  Stream: Streaming,
  Context: Contexting<UtilsAtom<Stream>>,
  IntoIter: IntoIterator + Clone,
  Init: Fn() -> Ret,
  F: Fn(Acc, Parser::Token, IntoIter::Item) -> Ret,
  Ret: Try<Output = Acc>,
  Parsed<Acc, Stream, Context>: FromResidual<Ret::Residual>,
{
  type Token = Acc;

  fn parse(&mut self, mut stream: Stream) -> Parsed<Acc, Stream, Context> {
    let mut acc = (self.init)()?;

    for i in self.iter.clone().into_iter() {
      let Success {
        token,
        stream: next,
      } = self.parser.parse(stream)?;

      acc = (self.f)(acc, token, i)?;
      stream = next;
    }

    Parsed::Success { token: acc, stream }
  }
}

#[cfg(test)]
mod tests {}