Struct Not

pub struct Not<P: ?Sized> { /* private fields */ }

Represents predicates that are satisfied when P is not satisfied.

Trait Implementations

impl<T: ?Sized, P: Predicate<T> + ?Sized> Predicate<T> for Not<P>

type Error = NotError

The associated error type which is used to represent checks.

fn check(value: &T) -> Result<(), Self::Error>

Checks if the value of type T satisfies the predicate.

fn expect(formatter: &mut Formatter<'_>) -> Result

Formats the expectation of the predicate.

fn expect_code(formatter: &mut Formatter<'_>) -> Result

Formats the expectation code of the predicate.

fn is_satisfied(value: &T) -> bool

Checks whether the given value satisfies the predicate.

fn expected() -> Expected<T, Self>

Returns the expectation of the predicate.

fn expected_code() -> ExpectedCode<T, Self>

Returns the expectation code of the predicate.