Struct Verify
pub struct Verify<F, G, O2: ?Sized> { /* private fields */ }Parser iplementation for verify
Trait Implementations
impl<I, F: Parser<I>, G, O2> Parser<I> for Verify<F, G, O2>
where
I: Clone,
G: Fn(&O2) -> bool,
<F as Parser<I>>::Output: Borrow<O2>,
O2: ?Sized,
type Output = <F as Parser<I>>::Output;type Error = <F as Parser<I>>::Error;fn process<OM: OutputMode>(&mut self, input: I) -> PResult<OM, I, Self::Output, Self::Error>
Auto Trait Implementations
impl<F, G, O2> Freeze for Verify<F, G, O2>
where
F: Freeze,
G: Freeze,
PhantomData<O2>: Freeze,
O2: ?Sized,
impl<F, G, O2> RefUnwindSafe for Verify<F, G, O2>
where
F: RefUnwindSafe,
G: RefUnwindSafe,
PhantomData<O2>: RefUnwindSafe,
O2: ?Sized,
impl<F, G, O2> Send for Verify<F, G, O2>
where
F: Send,
G: Send,
PhantomData<O2>: Send,
O2: ?Sized,
impl<F, G, O2> Sync for Verify<F, G, O2>
where
F: Sync,
G: Sync,
PhantomData<O2>: Sync,
O2: ?Sized,
impl<F, G, O2> Unpin for Verify<F, G, O2>
where
F: Unpin,
G: Unpin,
PhantomData<O2>: Unpin,
O2: ?Sized,
impl<F, G, O2> UnsafeUnpin for Verify<F, G, O2>
where
F: UnsafeUnpin,
G: UnsafeUnpin,
PhantomData<O2>: UnsafeUnpin,
O2: ?Sized,
impl<F, G, O2> UnwindSafe for Verify<F, G, O2>
where
F: UnwindSafe,
G: UnwindSafe,
PhantomData<O2>: UnwindSafe,
O2: ?Sized,
Blanket Implementations
impl<T> Any for Verify<F, G, O2>
where
T: 'static + ?Sized,
fn type_id(&self) -> TypeId
impl<T> Borrow<T> for Verify<F, G, O2>
where
T: ?Sized,
fn borrow(&self) -> &T
impl<T> BorrowMut<T> for Verify<F, G, O2>
where
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
impl<T> From<T> for Verify<F, G, O2>
fn from(t: T) -> TReturns the argument unchanged.
impl<T, U> Into<U> for Verify<F, G, O2>
where
U: From<T>,
fn into(self) -> UCalls
U::from(self).That is, this conversion is whatever the implementation of
[From]<T> for Uchooses to do.
impl<T, U> TryFrom<U> for Verify<F, G, O2>
where
U: Into<T>,
type Error = never;fn try_from(value: U) -> Result<T, never>
impl<T, U> TryInto<U> for Verify<F, G, O2>
where
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error;fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>