Struct False

Source

pub struct False { /* private fields */ }

Expand description

Represents predicates that are never satisfied.

Trait Implementations§

Source §

impl<T: ?Sized> Predicate<T> for False

Source §

fn check(_value: &T) -> bool

Checks the given reference to value of type T. Read more

Source §

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

Formats the expectation of this predicate into the given formatter. Read more

Source §

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

Formats the expectation code of this predicate into the given formatter. Read more

Source §

fn check_value(value: T) -> bool
where T: Sized,

Checks the given value of type T. Read more

Auto Trait Implementations§

§

impl UnwindSafe for False

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> Check for T
where T: ?Sized,

Source §

fn satisfies<P: Predicate<Self> + ?Sized>(&self) -> bool

Checks whether the Self value satisfies the given predicate. Read more

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<T, U> Into 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, P> PredicateExpected<T> for P
where P: Predicate<T> + ?Sized, T: ?Sized,

Source §

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

Returns the Expected<T, Self> value used for formatting.

Source §

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

Source §

fn refine_ref<R: Refining<Value = Self> + ?Sized>( &self, ) -> RecoverableRefinementRef<'_, R>

Refines the given value with R by reference. Read more

Source §

fn refine<R: Refining<Value = Self>>(self) -> RecoverableRefinement<R>
where Self: Sized,

Refines the given value with R. Read more

Source §

impl<T, U> TryFrom 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>::Error>

Performs the conversion.

Source §

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

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

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

Performs the conversion.

False

Struct False

Trait Implementations§

impl<T: ?Sized> Predicate<T> for False

fn check(_value: &T) -> bool

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

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

fn check_value(value: T) -> bool
where T: Sized,

Auto Trait Implementations§

impl Freeze for False

impl RefUnwindSafe for False

impl Send for False

impl Sync for False

impl Unpin for False

impl UnsafeUnpin for False

impl UnwindSafe for False

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

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

fn satisfies<P: Predicate<Self> + ?Sized>(&self) -> bool

impl<T> From<T> for T

fn from(t: T) -> T

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

fn into(self) -> U

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

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

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

fn refine_ref<R: Refining<Value = Self> + ?Sized>( &self, ) -> RecoverableRefinementRef<'_, R>

fn refine<R: Refining<Value = Self>>(self) -> RecoverableRefinement<R>
where Self: Sized,

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

type Error = Infallible

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

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

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

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

False

Struct False Copy item path

Trait Implementations§

impl<T: ?Sized> Predicate<T> for False

fn check(_value: &T) -> bool

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

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

fn check_value(value: T) -> boolwhere T: Sized,

Auto Trait Implementations§

impl Freeze for False

impl RefUnwindSafe for False

impl Send for False

impl Sync for False

impl Unpin for False

impl UnsafeUnpin for False

impl UnwindSafe for False

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> Check for Twhere T: ?Sized,

fn satisfies<P: Predicate<Self> + ?Sized>(&self) -> bool

impl<T> From<T> for T

fn from(t: T) -> T

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

fn into(self) -> U

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

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

impl<T> Refine for Twhere T: ?Sized,

fn refine_ref<R: Refining<Value = Self> + ?Sized>( &self, ) -> RecoverableRefinementRef<'_, R>

fn refine<R: Refining<Value = Self>>(self) -> RecoverableRefinement<R>where Self: Sized,

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

type Error = Infallible

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

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

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

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

Struct False

fn check_value(value: T) -> bool
where T: Sized,

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

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

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

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

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

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

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

fn refine<R: Refining<Value = Self>>(self) -> RecoverableRefinement<R>
where Self: Sized,

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

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