Trait core::cmp::Eq
[−]
[src]
pub trait Eq: PartialEq<Self> { }Trait for equality comparisons which are equivalence relations.
This means, that in addition to a == b`a == band` and a != b`a != bbeing strict inverses, the equality must be (for all` being strict inverses, the equality must
be (for all a`a,`, b`band` and c`c`):
- reflexive:
a == a`a == a`; - symmetric:
a == b`a == bimplies` impliesb == a`b == a`; and - transitive:
a == b`a == band` andb == c`b == cimplies` impliesa == c`a == c`.
This property cannot be checked by the compiler, and therefore Eq`Eqimplies` implies
PartialEq`PartialEq`, and has no extra methods.
Implementors
impl<T: Eq> Eq for Wrapping<T> where T: Eqimpl<T: Eq + Zeroable> Eq for NonZero<T> where T: Eqimpl<T: ?Sized> Eq for *const Timpl<T: ?Sized> Eq for *mut Timpl Eq for NoCopyimpl<T: ?Sized> Eq for PhantomData<T>impl Eq for RangeFullimpl<Idx: Eq> Eq for Range<Idx> where Idx: Eq, Idx: Eqimpl<Idx: Eq> Eq for RangeFrom<Idx> where Idx: Eqimpl<Idx: Eq> Eq for RangeTo<Idx> where Idx: Eqimpl Eq for ()impl Eq for boolimpl Eq for charimpl Eq for usizeimpl Eq for u8impl Eq for u16impl Eq for u32impl Eq for u64impl Eq for isizeimpl Eq for i8impl Eq for i16impl Eq for i32impl Eq for i64impl<'a, A: ?Sized> Eq for &'a A where A: Eqimpl<'a, A: ?Sized> Eq for &'a mut A where A: Eqimpl Eq for Orderingimpl Eq for TypeIdimpl<T: Eq> Eq for [T; 0]impl<T: Eq> Eq for [T; 1]impl<T: Eq> Eq for [T; 2]impl<T: Eq> Eq for [T; 3]impl<T: Eq> Eq for [T; 4]impl<T: Eq> Eq for [T; 5]impl<T: Eq> Eq for [T; 6]impl<T: Eq> Eq for [T; 7]impl<T: Eq> Eq for [T; 8]impl<T: Eq> Eq for [T; 9]impl<T: Eq> Eq for [T; 10]impl<T: Eq> Eq for [T; 11]impl<T: Eq> Eq for [T; 12]impl<T: Eq> Eq for [T; 13]impl<T: Eq> Eq for [T; 14]impl<T: Eq> Eq for [T; 15]impl<T: Eq> Eq for [T; 16]impl<T: Eq> Eq for [T; 17]impl<T: Eq> Eq for [T; 18]impl<T: Eq> Eq for [T; 19]impl<T: Eq> Eq for [T; 20]impl<T: Eq> Eq for [T; 21]impl<T: Eq> Eq for [T; 22]impl<T: Eq> Eq for [T; 23]impl<T: Eq> Eq for [T; 24]impl<T: Eq> Eq for [T; 25]impl<T: Eq> Eq for [T; 26]impl<T: Eq> Eq for [T; 27]impl<T: Eq> Eq for [T; 28]impl<T: Eq> Eq for [T; 29]impl<T: Eq> Eq for [T; 30]impl<T: Eq> Eq for [T; 31]impl<T: Eq> Eq for [T; 32]impl<T: Eq> Eq for Option<T> where T: Eqimpl<T: Eq, E: Eq> Eq for Result<T, E> where T: Eq, E: Eqimpl<T: Eq> Eq for [T]impl Eq for SearchStepimpl Eq for strimpl Eq for Utf8Errorimpl<A: Eq> Eq for (A,)impl<A: Eq, B: Eq> Eq for (A, B)impl<A: Eq, B: Eq, C: Eq> Eq for (A, B, C)impl<A: Eq, B: Eq, C: Eq, D: Eq> Eq for (A, B, C, D)impl<A: Eq, B: Eq, C: Eq, D: Eq, E: Eq> Eq for (A, B, C, D, E)impl<A: Eq, B: Eq, C: Eq, D: Eq, E: Eq, F: Eq> Eq for (A, B, C, D, E, F)impl<A: Eq, B: Eq, C: Eq, D: Eq, E: Eq, F: Eq, G: Eq> Eq for (A, B, C, D, E, F, G)impl<A: Eq, B: Eq, C: Eq, D: Eq, E: Eq, F: Eq, G: Eq, H: Eq> Eq for (A, B, C, D, E, F, G, H)impl<A: Eq, B: Eq, C: Eq, D: Eq, E: Eq, F: Eq, G: Eq, H: Eq, I: Eq> Eq for (A, B, C, D, E, F, G, H, I)impl<A: Eq, B: Eq, C: Eq, D: Eq, E: Eq, F: Eq, G: Eq, H: Eq, I: Eq, J: Eq> Eq for (A, B, C, D, E, F, G, H, I, J)impl<A: Eq, B: Eq, C: Eq, D: Eq, E: Eq, F: Eq, G: Eq, H: Eq, I: Eq, J: Eq, K: Eq> Eq for (A, B, C, D, E, F, G, H, I, J, K)impl<A: Eq, B: Eq, C: Eq, D: Eq, E: Eq, F: Eq, G: Eq, H: Eq, I: Eq, J: Eq, K: Eq, L: Eq> Eq for (A, B, C, D, E, F, G, H, I, J, K, L)