Trait std::cmp::Eq

pub trait Eq: PartialEq<Self> { }

Trait for equality comparisons which are equivalence relations.

This means, that in addition to a == b and a != b being strict inverses, the equality must be (for all a, b and c):

• reflexive: a == a;
• symmetric: a == b implies b == a; and
• transitive: a == b and b == c implies a == c.

This property cannot be checked by the compiler, and therefore Eq implies PartialEq, and has no extra methods.

This trait can be used with #[derive].

Implementors

• impl<A, B, C, D, E, F, G, H, I, J, K, L> Eq for (A, B, C, D, E, F, G, H, I, J, K, L) where H: Eq, D: Eq, E: Eq, L: Eq, I: Eq, G: Eq, B: Eq, C: Eq, A: Eq, K: Eq, F: Eq, J: Eq
• impl<A, B, C, D, E, F, G, H, I, J, K> Eq for (A, B, C, D, E, F, G, H, I, J, K) where I: Eq, J: Eq, D: Eq, G: Eq, K: Eq, H: Eq, B: Eq, C: Eq, E: Eq, F: Eq, A: Eq
• impl<A, B, C, D, E, F, G, H, I, J> Eq for (A, B, C, D, E, F, G, H, I, J) where I: Eq, H: Eq, E: Eq, D: Eq, G: Eq, F: Eq, A: Eq, J: Eq, B: Eq, C: Eq
• impl<A, B, C, D, E, F, G, H, I> Eq for (A, B, C, D, E, F, G, H, I) where G: Eq, C: Eq, E: Eq, B: Eq, H: Eq, F: Eq, D: Eq, I: Eq, A: Eq
• impl<A, B, C, D, E, F, G, H> Eq for (A, B, C, D, E, F, G, H) where B: Eq, H: Eq, E: Eq, G: Eq, D: Eq, F: Eq, C: Eq, A: Eq
• impl<A, B, C, D, E, F, G> Eq for (A, B, C, D, E, F, G) where F: Eq, A: Eq, E: Eq, G: Eq, B: Eq, D: Eq, C: Eq
• impl<A, B, C, D, E, F> Eq for (A, B, C, D, E, F) where E: Eq, A: Eq, F: Eq, C: Eq, B: Eq, D: Eq
• impl<A, B, C, D, E> Eq for (A, B, C, D, E) where C: Eq, D: Eq, E: Eq, A: Eq, B: Eq
• impl<A, B, C, D> Eq for (A, B, C, D) where D: Eq, B: Eq, C: Eq, A: Eq
• impl<A, B, C> Eq for (A, B, C) where C: Eq, A: Eq, B: Eq
• impl<A, B> Eq for (A, B) where A: Eq, B: Eq
• impl<A> Eq for (A,) where A: Eq
• impl Eq for str
• impl<T> Eq for [T] where T: Eq
• impl<T> Eq for [T; 32] where T: Eq
• impl<T> Eq for [T; 31] where T: Eq
• impl<T> Eq for [T; 30] where T: Eq
• impl<T> Eq for [T; 29] where T: Eq
• impl<T> Eq for [T; 28] where T: Eq
• impl<T> Eq for [T; 27] where T: Eq
• impl<T> Eq for [T; 26] where T: Eq
• impl<T> Eq for [T; 25] where T: Eq
• impl<T> Eq for [T; 24] where T: Eq
• impl<T> Eq for [T; 23] where T: Eq
• impl<T> Eq for [T; 22] where T: Eq
• impl<T> Eq for [T; 21] where T: Eq
• impl<T> Eq for [T; 20] where T: Eq
• impl<T> Eq for [T; 19] where T: Eq
• impl<T> Eq for [T; 18] where T: Eq
• impl<T> Eq for [T; 17] where T: Eq
• impl<T> Eq for [T; 16] where T: Eq
• impl<T> Eq for [T; 15] where T: Eq
• impl<T> Eq for [T; 14] where T: Eq
• impl<T> Eq for [T; 13] where T: Eq
• impl<T> Eq for [T; 12] where T: Eq
• impl<T> Eq for [T; 11] where T: Eq
• impl<T> Eq for [T; 10] where T: Eq
• impl<T> Eq for [T; 9] where T: Eq
• impl<T> Eq for [T; 8] where T: Eq
• impl<T> Eq for [T; 7] where T: Eq
• impl<T> Eq for [T; 6] where T: Eq
• impl<T> Eq for [T; 5] where T: Eq
• impl<T> Eq for [T; 4] where T: Eq
• impl<T> Eq for [T; 3] where T: Eq
• impl<T> Eq for [T; 2] where T: Eq
• impl<T> Eq for [T; 1] where T: Eq
• impl<T> Eq for [T; 0] where T: Eq
• impl Eq for TypeId
• impl Eq for i64
• impl Eq for i32
• impl Eq for i16
• impl Eq for i8
• impl Eq for isize
• impl Eq for u64
• impl Eq for u32
• impl Eq for u16
• impl Eq for u8
• impl Eq for usize
• impl Eq for char
• impl Eq for bool
• impl Eq for ()
• impl<T> Eq for *mut T where T: ?Sized
• impl<T> Eq for *const T where T: ?Sized
• impl<T> Eq for Cell<T> where T: Copy + Eq
• impl<T> Eq for RefCell<T> where T: Eq + ?Sized
• impl Eq for BorrowState
• impl Eq for Ordering
• impl<T> Eq for PhantomData<T> where T: ?Sized
• impl Eq for RangeFull
• impl<Idx> Eq for Range<Idx> where Idx: Eq
• impl<Idx> Eq for RangeFrom<Idx> where Idx: Eq
• impl<Idx> Eq for RangeTo<Idx> where Idx: Eq
• impl<Idx> Eq for RangeInclusive<Idx> where Idx: Eq
• impl<Idx> Eq for RangeToInclusive<Idx> where Idx: Eq
• impl<T, E> Eq for Result<T, E> where E: Eq, T: Eq
• impl<T> Eq for Option<T> where T: Eq
• impl<T> Eq for Box<T> where T: Eq + ?Sized
• impl<T> Eq for Rc<T> where T: Eq + ?Sized
• impl<'a, B> Eq for Cow<'a, B> where B: Eq + ToOwned + ?Sized
• impl Eq for Error
• impl Eq for Utf8Error
• impl Eq for SearchStep
• impl Eq for String
• impl Eq for ParseError
• impl<T> Eq for Vec<T> where T: Eq
• impl Eq for DecodeUtf16Error
• impl<T> Eq for Wrapping<T> where T: Eq
• impl Eq for LocalKeyState
• impl<T> Eq for Bound<T> where T: Eq
• impl<K, V> Eq for BTreeMap<K, V> where V: Eq, K: Eq
• impl<T> Eq for BTreeSet<T> where T: Eq
• impl<A> Eq for LinkedList<A> where A: Eq
• impl<A> Eq for VecDeque<A> where A: Eq
• impl<K, V, S> Eq for HashMap<K, V, S> where K: Eq + Hash, V: Eq, S: BuildHasher
• impl<T, S> Eq for HashSet<T, S> where T: Eq + Hash, S: BuildHasher
• impl Eq for VarError
• impl Eq for CString
• impl Eq for CStr
• impl Eq for OsString
• impl Eq for OsStr
• impl Eq for Permissions
• impl Eq for FileType
• impl Eq for ErrorKind
• impl Eq for SeekFrom
• impl Eq for IpAddr
• impl Eq for Ipv6MulticastScope
• impl Eq for Ipv4Addr
• impl Eq for Ipv6Addr
• impl Eq for SocketAddr
• impl Eq for SocketAddrV4
• impl Eq for SocketAddrV6
• impl<'a> Eq for Prefix<'a>
• impl<'a> Eq for PrefixComponent<'a>
• impl<'a> Eq for Component<'a>
• impl<'a> Eq for Components<'a>
• impl Eq for PathBuf
• impl Eq for StripPrefixError
• impl Eq for Path
• impl Eq for Output
• impl Eq for ExitStatus
• impl<T> Eq for Arc<T> where T: Eq + ?Sized
• impl<T: Eq> Eq for SendError<T>
• impl Eq for RecvError
• impl Eq for TryRecvError
• impl<T: Eq> Eq for TrySendError<T>
• impl Eq for WaitTimeoutResult
• impl Eq for Duration
• impl Eq for Instant
• impl Eq for SystemTime