Struct Verify

struct Verify<F, G, I, O, O2, E> { ... }
where
    F: Parser<I, O, E>,
    G: FnMut(&O2) -> bool,
    I: Stream,
    O: Borrow<O2>,
    O2: ?Sized,
    E: ParserError<I>

Parser implementation for Parser::verify

Implementations

impl<F, G, I, O, O2, E> Freeze for Verify<F, G, I, O, O2, E>

impl<F, G, I, O, O2, E> Parser for Verify<F, G, I, O, O2, E>

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

impl<F, G, I, O, O2, E> RefUnwindSafe for Verify<F, G, I, O, O2, E>

impl<F, G, I, O, O2, E> Send for Verify<F, G, I, O, O2, E>

impl<F, G, I, O, O2, E> Sync for Verify<F, G, I, O, O2, E>

impl<F, G, I, O, O2, E> Unpin for Verify<F, G, I, O, O2, E>

impl<F, G, I, O, O2, E> UnsafeUnpin for Verify<F, G, I, O, O2, E>

impl<F, G, I, O, O2, E> UnwindSafe for Verify<F, G, I, O, O2, E>

impl<I, O, E, P> ModalParser for Verify<F, G, I, O, O2, E>

impl<T> Any for Verify<F, G, I, O, O2, E>

fn type_id(self: &Self) -> TypeId

impl<T> Borrow for Verify<F, G, I, O, O2, E>

fn borrow(self: &Self) -> &T

impl<T> BorrowMut for Verify<F, G, I, O, O2, E>

fn borrow_mut(self: &mut Self) -> &mut T

impl<T> From for Verify<F, G, I, O, O2, E>

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into for Verify<F, G, I, O, O2, E>

fn into(self: Self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of [From]<T> for U chooses to do.

impl<T, U> TryFrom for Verify<F, G, I, O, O2, E>

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto for Verify<F, G, I, O, O2, E>

fn try_into(self: Self) -> Result<U, <U as TryFrom<T>>::Error>