Struct Invariant

pub struct Invariant<T, F = Box<dyn FnMut(<T as ToOwned>::Owned) -> bool>>
where
    T: ToOwned + ?Sized,
{ /* private fields */ }

Implementations

impl<T, F> Invariant<T, F>

where T: ToOwned,

pub fn into_inner(self) -> T

impl<T, F> Invariant<T, F>

where T: ToOwned + ?Sized,

pub fn as_inner_ref(&self) -> &T

impl<T, F> Invariant<T, F>

where T: ToOwned, F: FnMut(<T as ToOwned>::Owned) -> bool,

pub fn try_from_inner(inner: T, check: F) -> Option<Self>

impl<T, F> Invariant<T, F>

where T: ToOwned, F: FnMut(<T as ToOwned>::Owned) -> bool, <T as ToOwned>::Owned: BorrowMut<T>,

pub fn with_inner_mut<G, R>(&mut self, op: G) -> Option<R>

where G: FnOnce(&mut T) -> R,

pub fn with_inner_mut_check<G, R>(&mut self, op: G) -> Option<R>

where G: FnOnce(&mut T, &mut F) -> R,

impl<T, F> Invariant<T, F>

where T: ToOwned + ?Sized, T::Owned: Clone, F: ToOwned,

pub fn to_owned_inner(&self) -> Invariant<T::Owned, F::Owned>

Trait Implementations

impl<U, T, F> AsRef<U> for Invariant<T, F>

where T: ToOwned + AsRef<U>,

fn as_ref(&self) -> &U

Converts this type into a shared reference of the (usually inferred) input type.

impl<T, F> Binary for Invariant<T, F>

where T: ToOwned + Binary + ?Sized,

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T, F> BuildHasher for Invariant<T, F>

where T: ToOwned + BuildHasher + ?Sized,

type Hasher = <T as BuildHasher>::Hasher

Type of the hasher that will be created.

fn build_hasher(&self) -> Self::Hasher

Creates a new hasher.

fn hash_one<T>(&self, x: T) -> u64

where T: Hash, Self: Sized, Self::Hasher: Hasher,

Calculates the hash of a single value.

impl<T, F: Clone> Clone for Invariant<T, F>

where T: ToOwned + Clone + ?Sized,

fn clone(&self) -> Invariant<T, F>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T, F: Debug> Debug for Invariant<T, F>

where T: ToOwned + Debug + ?Sized,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T, F> Deref for Invariant<T, F>

where T: ToOwned + ?Sized,

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<T, F> Display for Invariant<T, F>

where T: ToOwned + Display + ?Sized,

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T, F: Debug + Any> Error for Invariant<T, F>

where T: ToOwned + Error + ?Sized,

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl<T, F> Hash for Invariant<T, F>

where T: ToOwned + Hash + ?Sized,

fn hash<H>(&self, state: &mut H)

where H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<Idx, T, F> Index<Idx> for Invariant<T, F>

where T: ToOwned + Index<Idx> + ?Sized,

type Output = <T as Index<Idx>>::Output

The returned type after indexing.

fn index(&self, index: Idx) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<T, F> IntoIterator for Invariant<T, F>

where T: ToOwned + IntoIterator,

type Item = <T as IntoIterator>::Item

The type of the elements being iterated over.

type IntoIter = <T as IntoIterator>::IntoIter

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<T, F> LowerExp for Invariant<T, F>

where T: ToOwned + LowerExp + ?Sized,

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T, F> LowerHex for Invariant<T, F>

where T: ToOwned + LowerHex + ?Sized,

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T, F> Octal for Invariant<T, F>

where T: ToOwned + Octal + ?Sized,

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T, F> Ord for Invariant<T, F>

where T: ToOwned + Ord + ?Sized,

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<U, T, G, F> PartialEq<Invariant<U, G>> for Invariant<T, F>

where U: ToOwned + ?Sized, T: ToOwned + PartialEq<U> + ?Sized,

fn eq(&self, other: &Invariant<U, G>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Invariant<U, G>) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<U, T, G, F> PartialOrd<Invariant<U, G>> for Invariant<T, F>

where U: ToOwned + ?Sized, T: ToOwned + PartialOrd<U> + ?Sized,

fn partial_cmp(&self, other: &Invariant<U, G>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Invariant<U, G>) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Invariant<U, G>) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Invariant<U, G>) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Invariant<U, G>) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<T, F> Pointer for Invariant<T, F>

where T: ToOwned + Pointer + ?Sized,

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T, F> ToSocketAddrs for Invariant<T, F>

where T: ToOwned + ToSocketAddrs,

type Iter = <T as ToSocketAddrs>::Iter

Returned iterator over socket addresses which this type may correspond to.

fn to_socket_addrs(&self) -> Result<Self::Iter>

Converts this object to an iterator of resolved SocketAddrs.

impl<T, F> UpperExp for Invariant<T, F>

where T: ToOwned + UpperExp + ?Sized,

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T, F> UpperHex for Invariant<T, F>

where T: ToOwned + UpperHex + ?Sized,

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T, F: Copy> Copy for Invariant<T, F>

where T: ToOwned + Copy + ?Sized,

impl<T, F> Eq for Invariant<T, F>

where T: ToOwned + Eq + ?Sized,