pub trait Eq: PartialEq { }
Expand description
Trait for comparisons corresponding to equivalence relations.
This means, that in addition to a == b
and a != b
being strict inverses,
the relation must be (for all a
, b
and c
):
- reflexive:
a == a
; - symmetric:
a == b
impliesb == a
(required byPartialEq
as well); and - transitive:
a == b
andb == c
impliesa == c
(required byPartialEq
as well).
This property cannot be checked by the compiler, and therefore Eq
implies
PartialEq
, and has no extra methods.
Violating this property is a logic error. The behavior resulting from a logic error is not
specified, but users of the trait must ensure that such logic errors do not result in
undefined behavior. This means that unsafe
code must not rely on the correctness of these
methods.
Implement Eq
in addition to PartialEq
if it’s guaranteed that
PartialEq::eq(a, a)
always returns true
(reflexivity), in addition to
the symmetric and transitive properties already required by PartialEq
.
§Derivable
This trait can be used with #[derive]
. When derive
d, because Eq
has
no extra methods, it is only informing the compiler that this is an
equivalence relation rather than a partial equivalence relation. Note that
the derive
strategy requires all fields are Eq
, which isn’t
always desired.
§How can I implement Eq
?
If you cannot use the derive
strategy, specify that your type implements
Eq
, which has no methods:
enum BookFormat { Paperback, Hardback, Ebook }
struct Book {
isbn: i32,
format: BookFormat,
}
impl PartialEq for Book {
fn eq(&self, other: &Self) -> bool {
self.isbn == other.isbn
}
}
impl Eq for Book {}
Object Safety§
Implementors§
impl Eq for hashbrown::TryReserveError
impl Eq for log::Level
impl Eq for LevelFilter
impl Eq for CDataModel
impl Eq for Size
impl Eq for target_lexicon::parse_error::ParseError
impl Eq for Aarch64Architecture
impl Eq for target_lexicon::targets::Architecture
impl Eq for ArmArchitecture
impl Eq for target_lexicon::targets::BinaryFormat
impl Eq for CustomVendor
impl Eq for Environment
impl Eq for Mips32Architecture
impl Eq for Mips64Architecture
impl Eq for OperatingSystem
impl Eq for Riscv32Architecture
impl Eq for Riscv64Architecture
impl Eq for Vendor
impl Eq for X86_32Architecture
impl Eq for CallingConvention
impl Eq for target_lexicon::triple::Endianness
impl Eq for PointerWidth
impl Eq for BidiClass
impl Eq for IsNormalized
impl Eq for Origin
impl Eq for url::parser::ParseError
impl Eq for SyntaxViolation
impl Eq for EntityIndex
impl Eq for FlagValue
impl Eq for GlobalInit
impl Eq for Trap
impl Eq for WasmType
impl Eq for BlockType
impl Eq for CanonicalOption
impl Eq for ComponentExternalKind
impl Eq for ComponentOuterAliasKind
impl Eq for ComponentTypeRef
impl Eq for ComponentValType
impl Eq for wasmtime_environ::wasmparser::Encoding
impl Eq for ExternalKind
impl Eq for FrameKind
impl Eq for HeapType
impl Eq for InstantiationArgKind
impl Eq for OuterAliasKind
impl Eq for PrimitiveValType
impl Eq for TypeBounds
impl Eq for ValType
impl Eq for AsciiChar
impl Eq for wasmtime_environ::__core::cmp::Ordering
impl Eq for Infallible
impl Eq for wasmtime_environ::__core::fmt::Alignment
impl Eq for IpAddr
impl Eq for Ipv6MulticastScope
impl Eq for SocketAddr
impl Eq for FpCategory
impl Eq for IntErrorKind
impl Eq for SearchStep
impl Eq for wasmtime_environ::__core::sync::atomic::Ordering
impl Eq for TryReserveErrorKind
impl Eq for BacktraceStatus
impl Eq for VarError
impl Eq for SeekFrom
impl Eq for ErrorKind
impl Eq for Shutdown
impl Eq for BacktraceStyle
impl Eq for RecvTimeoutError
impl Eq for TryRecvError
impl Eq for bool
impl Eq for char
impl Eq for i8
impl Eq for i16
impl Eq for i32
impl Eq for i64
impl Eq for i128
impl Eq for isize
impl Eq for !
impl Eq for str
impl Eq for u8
impl Eq for u16
impl Eq for u32
impl Eq for u64
impl Eq for u128
impl Eq for ()
impl Eq for usize
impl Eq for ParseLevelError
impl Eq for DefaultToHost
impl Eq for DefaultToUnknown
impl Eq for Triple
impl Eq for unicode_bidi::level::Level
impl Eq for OpaqueOrigin
impl Eq for Url
URLs compare like their serialization.
impl Eq for AnyfuncIndex
impl Eq for DataIndex
impl Eq for DefinedFuncIndex
impl Eq for DefinedGlobalIndex
impl Eq for DefinedMemoryIndex
impl Eq for DefinedTableIndex
impl Eq for ElemIndex
impl Eq for FilePos
impl Eq for FuncIndex
impl Eq for Global
impl Eq for GlobalIndex
impl Eq for InstructionAddressMap
impl Eq for Memory
impl Eq for MemoryIndex
impl Eq for OwnedMemoryIndex
impl Eq for SignatureIndex
impl Eq for Table
impl Eq for TableIndex
impl Eq for Tag
impl Eq for TagIndex
impl Eq for TrapInformation
impl Eq for TypeIndex
impl Eq for WasmFuncType
impl Eq for FuncType
impl Eq for GlobalType
impl Eq for Ieee32
impl Eq for Ieee64
impl Eq for MemoryType
impl Eq for PackedIndex
impl Eq for RefType
impl Eq for TableType
impl Eq for V128
impl Eq for KebabStr
impl Eq for KebabString
impl Eq for wasmtime_environ::wasmparser::types::TypeId
impl Eq for AllocError
impl Eq for Layout
impl Eq for LayoutError
impl Eq for wasmtime_environ::__core::any::TypeId
impl Eq for CpuidResult
impl Eq for CharTryFromError
impl Eq for DecodeUtf16Error
impl Eq for ParseCharError
impl Eq for TryFromCharError
impl Eq for CStr
impl Eq for FromBytesUntilNulError
impl Eq for FromBytesWithNulError
impl Eq for wasmtime_environ::__core::fmt::Error
impl Eq for PhantomPinned
impl Eq for Assume
impl Eq for AddrParseError
impl Eq for Ipv4Addr
impl Eq for Ipv6Addr
impl Eq for SocketAddrV4
impl Eq for SocketAddrV6
impl Eq for ParseFloatError
impl Eq for ParseIntError
impl Eq for TryFromIntError
impl Eq for wasmtime_environ::__core::ptr::Alignment
impl Eq for RangeFull
impl Eq for ParseBoolError
impl Eq for Utf8Error
impl Eq for Duration
impl Eq for TryFromFloatSecsError
impl Eq for UnorderedKeyError
impl Eq for alloc::collections::TryReserveError
impl Eq for CString
impl Eq for FromVecWithNulError
impl Eq for IntoStringError
impl Eq for NulError
impl Eq for FromUtf8Error
impl Eq for String
impl Eq for OsStr
impl Eq for OsString
impl Eq for FileType
impl Eq for Permissions
impl Eq for UCred
impl Eq for Components<'_>
impl Eq for Path
impl Eq for PathBuf
impl Eq for StripPrefixError
impl Eq for ExitStatus
impl Eq for ExitStatusError
impl Eq for Output
impl Eq for WaitTimeoutResult
impl Eq for RecvError
impl Eq for AccessError
impl Eq for ThreadId
impl Eq for Instant
impl Eq for SystemTime
impl Eq for Abbreviation
impl Eq for Address
impl Eq for AddressSize
impl Eq for ArangeEntry
impl Eq for Architecture
impl Eq for Attribute
impl Eq for AttributeSpecification
impl Eq for AttributeValue
impl Eq for Augmentation
impl Eq for BaseAddresses
impl Eq for BigEndian
impl Eq for BigEndian
impl Eq for BinaryFormat
impl Eq for CallFrameInstruction
impl Eq for CieId
impl Eq for CoffExportStyle
impl Eq for ColumnType
impl Eq for ComdatId
impl Eq for ComdatKind
impl Eq for CommonInformationEntry
impl Eq for CompressedFileRange
impl Eq for CompressionFormat
impl Eq for ConvertError
impl Eq for DebugTypeSignature
impl Eq for DirectoryId
impl Eq for DwAccess
impl Eq for DwAddr
impl Eq for DwAt
impl Eq for DwAte
impl Eq for DwCc
impl Eq for DwCfa
impl Eq for DwChildren
impl Eq for DwDefaulted
impl Eq for DwDs
impl Eq for DwDsc
impl Eq for DwEhPe
impl Eq for DwEnd
impl Eq for DwForm
impl Eq for DwId
impl Eq for DwIdx
impl Eq for DwInl
impl Eq for DwLang
impl Eq for DwLle
impl Eq for DwLnct
impl Eq for DwLne
impl Eq for DwLns
impl Eq for DwMacro
impl Eq for DwOp
impl Eq for DwOrd
impl Eq for DwRle
impl Eq for DwSect
impl Eq for DwSectV2
impl Eq for DwTag
impl Eq for DwUt
impl Eq for DwVirtuality
impl Eq for DwVis
impl Eq for DwarfFileType
impl Eq for DwoId
impl Eq for Encoding
impl Eq for Endianness
impl Eq for Error
impl Eq for Error
impl Eq for Error
impl Eq for Error
impl Eq for Expression
impl Eq for FileEntryFormat
impl Eq for FileFlags
impl Eq for FileId
impl Eq for FileInfo
impl Eq for FileKind
impl Eq for Format
impl Eq for FrameDescriptionEntry
impl Eq for LineEncoding
impl Eq for LineRow
impl Eq for LineString
impl Eq for LineStringId
impl Eq for LittleEndian
impl Eq for LittleEndian
impl Eq for Location
impl Eq for LocationList
impl Eq for LocationListId
impl Eq for Mangling
impl Eq for ObjectKind
impl Eq for Pointer
impl Eq for Range
impl Eq for Range
impl Eq for RangeList
impl Eq for RangeListId
impl Eq for ReaderOffsetId
impl Eq for Reference
impl Eq for Register
impl Eq for RelocationEncoding
impl Eq for RelocationKind
impl Eq for RelocationTarget
impl Eq for RunTimeEndian
impl Eq for SectionBaseAddresses
impl Eq for SectionFlags
impl Eq for SectionId
impl Eq for SectionId
impl Eq for SectionIndex
impl Eq for SectionIndex
impl Eq for SectionKind
impl Eq for SegmentFlags
impl Eq for StandardSection
impl Eq for StandardSegment
impl Eq for StoreOnHeap
impl Eq for StringId
impl Eq for StringId
impl Eq for SymbolId
impl Eq for SymbolIndex
impl Eq for SymbolIndex
impl Eq for SymbolKind
impl Eq for SymbolScope
impl Eq for SymbolSection
impl Eq for SymbolSection
impl Eq for UnitEntryId
impl Eq for UnitId
impl Eq for UnitIndexSection
impl Eq for ValueType
impl<'a> Eq for ComponentDefinedType<'a>
impl<'a> Eq for Component<'a>
impl<'a> Eq for Prefix<'a>
impl<'a> Eq for Metadata<'a>
impl<'a> Eq for MetadataBuilder<'a>
impl<'a> Eq for VariantCase<'a>
impl<'a> Eq for wasmtime_environ::__core::panic::Location<'a>
impl<'a> Eq for Utf8Chunk<'a>
impl<'a> Eq for PrefixComponent<'a>
impl<'bases, Section, R> Eq for CieOrFde<'bases, Section, R>
impl<'bases, Section, R> Eq for PartialFrameDescriptionEntry<'bases, Section, R>
impl<'data> Eq for Bytes<'data>
impl<'data> Eq for CodeView<'data>
impl<'data> Eq for CompressedData<'data>
impl<'data> Eq for Export<'data>
impl<'data> Eq for Import<'data>
impl<'data> Eq for ObjectMapEntry<'data>
impl<'data> Eq for SymbolMapName<'data>
impl<'input, Endian> Eq for EndianSlice<'input, Endian>where
Endian: Eq + Endianity,
impl<'s, T> Eq for SliceVec<'s, T>where
T: Eq,
impl<A> Eq for TinyVec<A>
impl<A> Eq for &A
impl<A> Eq for &mut A
impl<A> Eq for ArrayVec<A>
impl<B> Eq for Cow<'_, B>
impl<B, C> Eq for ControlFlow<B, C>
impl<Dyn> Eq for DynMetadata<Dyn>where
Dyn: ?Sized,
impl<E> Eq for I16<E>where
E: Eq + Endian,
impl<E> Eq for I16Bytes<E>where
E: Eq + Endian,
impl<E> Eq for I32<E>where
E: Eq + Endian,
impl<E> Eq for I32Bytes<E>where
E: Eq + Endian,
impl<E> Eq for I64<E>where
E: Eq + Endian,
impl<E> Eq for I64Bytes<E>where
E: Eq + Endian,
impl<E> Eq for U16<E>where
E: Eq + Endian,
impl<E> Eq for U16Bytes<E>where
E: Eq + Endian,
impl<E> Eq for U32<E>where
E: Eq + Endian,
impl<E> Eq for U32Bytes<E>where
E: Eq + Endian,
impl<E> Eq for U64<E>where
E: Eq + Endian,
impl<E> Eq for U64Bytes<E>where
E: Eq + Endian,
impl<F> Eq for Fwhere
F: FnPtr,
impl<H> Eq for BuildHasherDefault<H>
impl<Idx> Eq for wasmtime_environ::__core::range::legacy::Range<Idx>where
Idx: Eq,
impl<Idx> Eq for wasmtime_environ::__core::range::legacy::RangeFrom<Idx>where
Idx: Eq,
impl<Idx> Eq for wasmtime_environ::__core::range::legacy::RangeInclusive<Idx>where
Idx: Eq,
impl<Idx> Eq for wasmtime_environ::__core::range::Range<Idx>where
Idx: Eq,
impl<Idx> Eq for wasmtime_environ::__core::range::RangeFrom<Idx>where
Idx: Eq,
impl<Idx> Eq for wasmtime_environ::__core::range::RangeInclusive<Idx>where
Idx: Eq,
impl<Idx> Eq for RangeTo<Idx>where
Idx: Eq,
impl<Idx> Eq for RangeToInclusive<Idx>where
Idx: Eq,
impl<K, V> Eq for PrimaryMap<K, V>
impl<K, V> Eq for SecondaryMap<K, V>
impl<K, V, A> Eq for BTreeMap<K, V, A>
impl<K, V, S> Eq for std::collections::hash::map::HashMap<K, V, S>
impl<K, V, S> Eq for IndexMap<K, V, S>
impl<K, V, S, A> Eq for hashbrown::map::HashMap<K, V, S, A>
impl<Offset> Eq for UnitType<Offset>where
Offset: Eq + ReaderOffset,
impl<Ptr> Eq for Pin<Ptr>
impl<R> Eq for Attribute<R>where
R: Eq + Reader,
impl<R> Eq for CallFrameInstruction<R>where
R: Eq + Reader,
impl<R> Eq for CfaRule<R>where
R: Eq + Reader,
impl<R> Eq for DebugFrame<R>where
R: Eq + Reader,
impl<R> Eq for EhFrame<R>where
R: Eq + Reader,
impl<R> Eq for EhFrameHdr<R>where
R: Eq + Reader,
impl<R> Eq for Expression<R>where
R: Eq + Reader,
impl<R> Eq for LocationListEntry<R>where
R: Eq + Reader,
impl<R> Eq for RegisterRule<R>where
R: Eq + Reader,
impl<R, A> Eq for UnwindContext<R, A>
impl<R, Offset> Eq for ArangeHeader<R, Offset>
impl<R, Offset> Eq for AttributeValue<R, Offset>
impl<R, Offset> Eq for CommonInformationEntry<R, Offset>
impl<R, Offset> Eq for CompleteLineProgram<R, Offset>
impl<R, Offset> Eq for FileEntry<R, Offset>
impl<R, Offset> Eq for FrameDescriptionEntry<R, Offset>
impl<R, Offset> Eq for IncompleteLineProgram<R, Offset>
impl<R, Offset> Eq for LineInstruction<R, Offset>
impl<R, Offset> Eq for LineProgramHeader<R, Offset>
impl<R, Offset> Eq for Operation<R, Offset>
impl<R, Offset> Eq for UnitHeader<R, Offset>
impl<R, S> Eq for UnwindTableRow<R, S>
impl<S> Eq for Host<S>where
S: Eq,
impl<Section> Eq for SymbolFlags<Section>where
Section: Eq,
impl<T> Eq for Option<T>where
T: Eq,
impl<T> Eq for Bound<T>where
T: Eq,
impl<T> Eq for Poll<T>where
T: Eq,
impl<T> Eq for TrySendError<T>where
T: Eq,
impl<T> Eq for *const Twhere
T: ?Sized,
impl<T> Eq for *mut Twhere
T: ?Sized,
impl<T> Eq for [T]where
T: Eq,
impl<T> Eq for (T₁, T₂, …, Tₙ)
This trait is implemented for tuples up to twelve items long.