Trait ParserMonad

pub trait ParserMonad<'a>: ParserFunctor<'a> + ParserFilter<'a> {
    // Required method
    fn flat_map<B, F>(self, f: F) -> Self::P<'a, Self::Input, B>
       where F: Fn(Self::Output) -> Self::P<'a, Self::Input, B> + 'a,
             Self::Input: 'a,
             Self::Output: 'a,
             B: 'a;
}

Required Methods

fn flat_map<B, F>(self, f: F) -> Self::P<'a, Self::Input, B>

where F: Fn(Self::Output) -> Self::P<'a, Self::Input, B> + 'a, Self::Input: 'a, Self::Output: 'a, B: 'a,

Returns a Parser that somehow combines the calculations of Parsers.
Parserどうしの計算を何らかの形で結合したParserを返す。

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'a, I, A> ParserMonad<'a> for Parser<'a, I, A>