Struct invariant::Invariant [] [src]

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

Methods

impl<T, F> Invariant<T, F> where
    T: ToOwned
[src]

impl<T: ?Sized, F> Invariant<T, F> where
    T: ToOwned
[src]

impl<T, F> Invariant<T, F> where
    T: ToOwned,
    F: FnMut(<T as ToOwned>::Owned) -> bool
[src]

impl<T, F> Invariant<T, F> where
    T: ToOwned,
    F: FnMut(<T as ToOwned>::Owned) -> bool,
    <T as ToOwned>::Owned: BorrowMut<T>, 
[src]

impl<T: ?Sized, F> Invariant<T, F> where
    T: ToOwned,
    T::Owned: Clone,
    F: ToOwned
[src]

Trait Implementations

impl<T: Debug + ?Sized, F: Debug> Debug for Invariant<T, F> where
    T: ToOwned
[src]

Formats the value using the given formatter.

impl<T: Clone + ?Sized, F: Clone> Clone for Invariant<T, F> where
    T: ToOwned
[src]

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

impl<T: Copy + ?Sized, F: Copy> Copy for Invariant<T, F> where
    T: ToOwned
[src]

impl<T: ?Sized, F> Deref for Invariant<T, F> where
    T: ToOwned
[src]

The resulting type after dereferencing

The method called to dereference a value

impl<U: ?Sized, T: PartialEq<U> + ?Sized, G, F> PartialEq<Invariant<U, G>> for Invariant<T, F> where
    U: ToOwned,
    T: ToOwned
[src]

This method tests for self and other values to be equal, and is used by ==. Read more

This method tests for !=.

impl<T: Eq + ?Sized, F> Eq for Invariant<T, F> where
    T: ToOwned
[src]

impl<U: ?Sized, T: PartialOrd<U> + ?Sized, G, F> PartialOrd<Invariant<U, G>> for Invariant<T, F> where
    U: ToOwned,
    T: ToOwned
[src]

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

This method tests less than (for self and other) and is used by the < operator. Read more

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more

This method tests greater than (for self and other) and is used by the > operator. Read more

This method tests greater than or equal to (for self and other) and is used by the >= operator. Read more

impl<T: Ord + ?Sized, F> Ord for Invariant<T, F> where
    T: ToOwned
[src]

This method returns an Ordering between self and other. Read more

impl<U, T: AsRef<U>, F> AsRef<U> for Invariant<T, F> where
    T: ToOwned
[src]

Performs the conversion.

impl<T: Error + ?Sized, F: Debug + Any> Error for Invariant<T, F> where
    T: ToOwned
[src]

A short description of the error. Read more

The lower-level cause of this error, if any. Read more

impl<T: Display + ?Sized, F> Display for Invariant<T, F> where
    T: ToOwned
[src]

Formats the value using the given formatter. Read more

impl<T: LowerExp + ?Sized, F> LowerExp for Invariant<T, F> where
    T: ToOwned
[src]

Formats the value using the given formatter.

impl<T: UpperExp + ?Sized, F> UpperExp for Invariant<T, F> where
    T: ToOwned
[src]

Formats the value using the given formatter.

impl<T: Binary + ?Sized, F> Binary for Invariant<T, F> where
    T: ToOwned
[src]

Formats the value using the given formatter.

impl<T: Octal + ?Sized, F> Octal for Invariant<T, F> where
    T: ToOwned
[src]

Formats the value using the given formatter.

impl<T: LowerHex + ?Sized, F> LowerHex for Invariant<T, F> where
    T: ToOwned
[src]

Formats the value using the given formatter.

impl<T: UpperHex + ?Sized, F> UpperHex for Invariant<T, F> where
    T: ToOwned
[src]

Formats the value using the given formatter.

impl<T: Pointer + ?Sized, F> Pointer for Invariant<T, F> where
    T: ToOwned
[src]

Formats the value using the given formatter.

impl<T: BuildHasher + ?Sized, F> BuildHasher for Invariant<T, F> where
    T: ToOwned
[src]

Type of the hasher that will be created.

Creates a new hasher. Read more

impl<T: Hash + ?Sized, F> Hash for Invariant<T, F> where
    T: ToOwned
[src]

Feeds this value into the given [Hasher]. Read more

Feeds a slice of this type into the given [Hasher]. Read more

impl<T: IntoIterator, F> IntoIterator for Invariant<T, F> where
    T: ToOwned
[src]

The type of the elements being iterated over.

Which kind of iterator are we turning this into?

Creates an iterator from a value. Read more

impl<T: ToSocketAddrs, F> ToSocketAddrs for Invariant<T, F> where
    T: ToOwned
[src]

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

Converts this object to an iterator of resolved SocketAddrs. Read more

impl<Idx, T: Index<Idx> + ?Sized, F> Index<Idx> for Invariant<T, F> where
    T: ToOwned
[src]

The returned type after indexing

The method for the indexing (container[index]) operation