Struct True

Source

pub struct True { /* private fields */ }

Expand description

Represents predicates that are always satisfied.

Trait Implementations§

Source §

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

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 True

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.

True

Struct True

Trait Implementations§

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

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 True

impl RefUnwindSafe for True

impl Send for True

impl Sync for True

impl Unpin for True

impl UnsafeUnpin for True

impl UnwindSafe for True

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>

True

Struct True Copy item path

Trait Implementations§

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

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 True

impl RefUnwindSafe for True

impl Send for True

impl Sync for True

impl Unpin for True

impl UnsafeUnpin for True

impl UnwindSafe for True

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 True

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>,