Struct winnow::combinator::Verify

pub struct Verify<F, G, I, O, O2, E>where
    F: Parser<I, O, E>,
    G: Fn(&O2) -> bool,
    I: Clone,
    O: Borrow<O2>,
    O2: ?Sized,
    E: ParseError<I>,{ /* private fields */ }

Implementation of Parser::verify

Trait Implementations

impl<F, G, I, O, O2, E> Parser<I, O, E> for Verify<F, G, I, O, O2, E>where F: Parser<I, O, E>, G: Fn(&O2) -> bool, I: Clone, O: Borrow<O2>, O2: ?Sized, E: ParseError<I>,

fn parse_next(&mut self, input: I) -> IResult<I, O, E>

Take tokens from the Stream, turning it into the output

fn by_ref(&mut self) -> ByRef<'_, Self>where Self: Sized,

Treat &mut Self as a parser

fn value<O2>(self, val: O2) -> Value<Self, I, O, O2, E>where Self: Sized, O2: Clone,

Produce the provided value

fn void(self) -> Void<Self, I, O, E>where Self: Sized,

Discards the output of the Parser

fn output_into<O2>(self) -> OutputInto<Self, I, O, O2, E>where Self: Sized, O: Into<O2>,

Convert the parser’s output to another type using std::convert::From

fn map<G, O2>(self, map: G) -> Map<Self, G, I, O, O2, E>where G: Fn(O) -> O2, Self: Sized,

Maps a function over the output of a parser

fn map_res<G, O2, E2>(self, map: G) -> MapRes<Self, G, I, O, O2, E, E2>where Self: Sized, G: FnMut(O) -> Result<O2, E2>, I: Clone, E: FromExternalError<I, E2>,

Applies a function returning a Result over the output of a parser.

fn verify_map<G, O2>(self, map: G) -> VerifyMap<Self, G, I, O, O2, E>where Self: Sized, G: FnMut(O) -> Option<O2>, I: Clone, E: ParseError<I>,

Apply both Parser::verify and Parser::map.

fn flat_map<G, H, O2>(self, map: G) -> FlatMap<Self, G, H, I, O, O2, E>where Self: Sized, G: FnMut(O) -> H, H: Parser<I, O2, E>,

Creates a parser from the output of this one

fn verify<G, O2>(self, filter: G) -> Verify<Self, G, I, O, O2, E>where Self: Sized, G: Fn(&O2) -> bool, I: Clone, O: Borrow<O2>, O2: ?Sized, E: ParseError<I>,

Returns the output of the child parser if it satisfies a verification function.

fn complete_err(self) -> CompleteErr<Self>where Self: Sized,

Transforms Incomplete into Backtrack

fn err_into<E2>(self) -> ErrInto<Self, I, O, E, E2>where Self: Sized, E: Into<E2>,

Convert the parser’s error to another type using std::convert::From