Trait oni_comb_parser_rs::prelude::ParserMonad

source ·
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§

source

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を返す。

Object Safety§

This trait is not object safe.

Implementors§

source§

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