Not

Struct Not 

Source
pub struct Not<E>(pub E);
Expand description

A combinator expectation that inverts the wrapped expectation.

This combinator can only be used with expectations that implement the Invertible trait (additional to the Expectation trait).

Most of the expectations provided by this crate do implement the Invertible trait and thus can be used with the Not combinator.

Use the function not() to construct a Not combinator containing the given expectation.

Tuple Fields§

§0: E

Trait Implementations§

Source§

impl<S, E> Expectation<S> for Not<E>
where E: Invertible + Expectation<S>,

Source§

fn test(&mut self, subject: &S) -> bool

Verifies whether the actual subject fulfills the expected property.
Source§

fn message( &self, expression: &Expression<'_>, actual: &S, inverted: bool, format: &DiffFormat, ) -> String

Forms a failure message for this expectation.

Auto Trait Implementations§

§

impl<E> Freeze for Not<E>
where E: Freeze,

§

impl<E> RefUnwindSafe for Not<E>
where E: RefUnwindSafe,

§

impl<E> Send for Not<E>
where E: Send,

§

impl<E> Sync for Not<E>
where E: Sync,

§

impl<E> Unpin for Not<E>
where E: Unpin,

§

impl<E> UnwindSafe for Not<E>
where E: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

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

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.