Trait StructuralPartialEq

pub trait StructuralPartialEq { }

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

Required trait for constants used in pattern matches.

Any type that derives PartialEq automatically implements this trait, regardless of whether its type-parameters implement PartialEq.

If a const item contains some type that does not implement this trait, then that type either (1.) does not implement PartialEq (which means the constant will not provide that comparison method, which code generation assumes is available), or (2.) it implements its own version of PartialEq (which we assume does not conform to a structural-equality comparison).

In either of the two scenarios above, we reject usage of such a constant in a pattern match.

See also the structural match RFC, and issue 63438 which motivated migrating from an attribute-based design to this trait.

Implementors

impl StructuralPartialEq for PrivateInput

impl StructuralPartialEq for Dictionary

impl StructuralPartialEq for OffsetValue

impl StructuralPartialEq for BuiltinName

impl StructuralPartialEq for MathError

impl StructuralPartialEq for ApUpdate

impl StructuralPartialEq for FpUpdate

impl StructuralPartialEq for Op1Addr

impl StructuralPartialEq for Opcode

impl StructuralPartialEq for PcUpdate

impl StructuralPartialEq for Register

impl StructuralPartialEq for Res

impl StructuralPartialEq for LayoutName

impl StructuralPartialEq for MaybeRelocatable

impl StructuralPartialEq for CairoPieValidationError

impl StructuralPartialEq for ExecScopeError

impl StructuralPartialEq for InsufficientAllocatedCellsError

impl StructuralPartialEq for MemoryError

impl StructuralPartialEq for RunnerError

impl StructuralPartialEq for TraceError

impl StructuralPartialEq for CairoArg

impl StructuralPartialEq for RunnerMode

impl StructuralPartialEq for cairo_vm::with_std::cmp::Ordering

impl StructuralPartialEq for cairo_vm::with_std::fmt::Alignment

impl StructuralPartialEq for FpCategory

impl StructuralPartialEq for IntErrorKind

impl StructuralPartialEq for SearchStep

impl StructuralPartialEq for cairo_vm::with_std::sync::atomic::Ordering

impl StructuralPartialEq for RecvTimeoutError

impl StructuralPartialEq for TryRecvError

impl StructuralPartialEq for alloc::collections::TryReserveErrorKind

impl StructuralPartialEq for AsciiChar

impl StructuralPartialEq for IpAddr

impl StructuralPartialEq for Ipv6MulticastScope

impl StructuralPartialEq for SocketAddr

impl StructuralPartialEq for BacktraceStatus

impl StructuralPartialEq for VarError

impl StructuralPartialEq for SeekFrom

impl StructuralPartialEq for std::io::error::ErrorKind

impl StructuralPartialEq for Shutdown

impl StructuralPartialEq for BacktraceStyle

impl StructuralPartialEq for allocator_api2::stable::raw_vec::TryReserveErrorKind

impl StructuralPartialEq for ark_ff::fields::sqrt::LegendreSymbol

impl StructuralPartialEq for Compress

impl StructuralPartialEq for Validate

impl StructuralPartialEq for ark_std::io::error::ErrorKind

impl StructuralPartialEq for AllowedEnumVariants

impl StructuralPartialEq for IntegerType

impl StructuralPartialEq for BigEndian

impl StructuralPartialEq for LittleEndian

impl StructuralPartialEq for FlushCompress

impl StructuralPartialEq for FlushDecompress

impl StructuralPartialEq for Status

impl StructuralPartialEq for hashbrown::TryReserveError

impl StructuralPartialEq for FromHexError

impl StructuralPartialEq for lambdaworks_math::elliptic_curve::short_weierstrass::point::Endianness

impl StructuralPartialEq for PointFormat

impl StructuralPartialEq for EllipticCurveError

impl StructuralPartialEq for ByteConversionError

impl StructuralPartialEq for CreationError

impl StructuralPartialEq for DeserializationError

impl StructuralPartialEq for PairingError

impl StructuralPartialEq for lambdaworks_math::field::traits::LegendreSymbol

impl StructuralPartialEq for CompressionStrategy

impl StructuralPartialEq for TDEFLFlush

impl StructuralPartialEq for TDEFLStatus

impl StructuralPartialEq for CompressionLevel

impl StructuralPartialEq for DataFormat

impl StructuralPartialEq for MZError

impl StructuralPartialEq for MZFlush

impl StructuralPartialEq for MZStatus

impl StructuralPartialEq for TINFLStatus

impl StructuralPartialEq for nom::error::ErrorKind

impl StructuralPartialEq for Needed

impl StructuralPartialEq for nom::number::Endianness

impl StructuralPartialEq for CompareResult

impl StructuralPartialEq for Sign

impl StructuralPartialEq for Primality

impl StructuralPartialEq for BernoulliError

impl StructuralPartialEq for WeightedError

impl StructuralPartialEq for RoundingStrategy

impl StructuralPartialEq for rust_decimal::error::Error

impl StructuralPartialEq for Category

impl StructuralPartialEq for Value

impl StructuralPartialEq for CurveError

impl StructuralPartialEq for CompressionMethod

impl StructuralPartialEq for bool

impl StructuralPartialEq for char

impl StructuralPartialEq for i8

impl StructuralPartialEq for i16

impl StructuralPartialEq for i32

impl StructuralPartialEq for i64

impl StructuralPartialEq for i128

impl StructuralPartialEq for isize

impl StructuralPartialEq for str

impl StructuralPartialEq for u8

impl StructuralPartialEq for u16

impl StructuralPartialEq for u32

impl StructuralPartialEq for u64

impl StructuralPartialEq for u128

impl StructuralPartialEq for ()

impl StructuralPartialEq for usize

impl StructuralPartialEq for AirPrivateInput

impl StructuralPartialEq for AirPrivateInputSerializable

impl StructuralPartialEq for ModInput

impl StructuralPartialEq for ModInputInstance

impl StructuralPartialEq for ModInputMemoryVars

impl StructuralPartialEq for PrivateInputEcOp

impl StructuralPartialEq for PrivateInputKeccakState

impl StructuralPartialEq for PrivateInputPair

impl StructuralPartialEq for PrivateInputPoseidonState

impl StructuralPartialEq for PrivateInputSignature

impl StructuralPartialEq for PrivateInputValue

impl StructuralPartialEq for SignatureInput

impl StructuralPartialEq for MemorySegmentAddresses

impl StructuralPartialEq for PublicMemoryEntry

impl StructuralPartialEq for DictManager

impl StructuralPartialEq for DictTracker

impl StructuralPartialEq for HintReference

impl StructuralPartialEq for ApTracking

impl StructuralPartialEq for Attribute

impl StructuralPartialEq for DebugInfo

impl StructuralPartialEq for FlowTrackingData

impl StructuralPartialEq for HintLocation

impl StructuralPartialEq for HintParams

impl StructuralPartialEq for Identifier

impl StructuralPartialEq for InputFile

impl StructuralPartialEq for InstructionLocation

impl StructuralPartialEq for cairo_vm::serde::deserialize_program::Location

impl StructuralPartialEq for Member

impl StructuralPartialEq for Reference

impl StructuralPartialEq for ReferenceManager

impl StructuralPartialEq for ValueAddress

impl StructuralPartialEq for String

impl StructuralPartialEq for Felt

impl StructuralPartialEq for LowRatio

impl StructuralPartialEq for Instruction

impl StructuralPartialEq for Program

impl StructuralPartialEq for Relocatable

impl StructuralPartialEq for OutputBuiltinState

impl StructuralPartialEq for CairoPie

impl StructuralPartialEq for CairoPieAdditionalData

impl StructuralPartialEq for CairoPieMetadata

impl StructuralPartialEq for CairoPieVersion

impl StructuralPartialEq for OutputBuiltinAdditionalData

impl StructuralPartialEq for PublicMemoryPage

impl StructuralPartialEq for cairo_vm::vm::runners::cairo_pie::SegmentInfo

impl StructuralPartialEq for StrippedProgram

impl StructuralPartialEq for ExecutionResources

impl StructuralPartialEq for RunResources

impl StructuralPartialEq for cairo_vm::vm::runners::cairo_runner::SegmentInfo

impl StructuralPartialEq for RelocatedTraceEntry

impl StructuralPartialEq for TraceEntry

impl StructuralPartialEq for Operands

impl StructuralPartialEq for OperandsAddresses

impl StructuralPartialEq for cairo_vm::with_std::alloc::AllocError

impl StructuralPartialEq for Layout

impl StructuralPartialEq for LayoutError

impl StructuralPartialEq for cairo_vm::with_std::fmt::Error

impl StructuralPartialEq for Assume

impl StructuralPartialEq for ParseFloatError

impl StructuralPartialEq for ParseIntError

impl StructuralPartialEq for TryFromIntError

impl StructuralPartialEq for RangeFull

impl StructuralPartialEq for cairo_vm::with_std::ptr::Alignment

impl StructuralPartialEq for ParseBoolError

impl StructuralPartialEq for Utf8Error

impl StructuralPartialEq for FromUtf8Error

impl StructuralPartialEq for RecvError

impl StructuralPartialEq for WaitTimeoutResult

impl StructuralPartialEq for Duration

impl StructuralPartialEq for TryFromFloatSecsError

impl StructuralPartialEq for UnorderedKeyError

impl StructuralPartialEq for alloc::collections::TryReserveError

impl StructuralPartialEq for CString

impl StructuralPartialEq for FromVecWithNulError

impl StructuralPartialEq for IntoStringError

impl StructuralPartialEq for NulError

impl StructuralPartialEq for CharTryFromError

impl StructuralPartialEq for ParseCharError

impl StructuralPartialEq for DecodeUtf16Error

impl StructuralPartialEq for TryFromCharError

impl StructuralPartialEq for CpuidResult

impl StructuralPartialEq for CStr

impl StructuralPartialEq for FromBytesUntilNulError

impl StructuralPartialEq for FromBytesWithNulError

impl StructuralPartialEq for Ipv4Addr

impl StructuralPartialEq for Ipv6Addr

impl StructuralPartialEq for AddrParseError

impl StructuralPartialEq for SocketAddrV4

impl StructuralPartialEq for SocketAddrV6

impl StructuralPartialEq for RawWaker

impl StructuralPartialEq for RawWakerVTable

impl StructuralPartialEq for FileType

impl StructuralPartialEq for Permissions

impl StructuralPartialEq for InvalidHandleError

impl StructuralPartialEq for NullHandleError

impl StructuralPartialEq for StripPrefixError

impl StructuralPartialEq for ExitCode

impl StructuralPartialEq for ExitStatus

impl StructuralPartialEq for ExitStatusError

impl StructuralPartialEq for Output

impl StructuralPartialEq for AccessError

impl StructuralPartialEq for ThreadId

impl StructuralPartialEq for Instant

impl StructuralPartialEq for SystemTime

impl StructuralPartialEq for allocator_api2::stable::alloc::AllocError

impl StructuralPartialEq for allocator_api2::stable::raw_vec::TryReserveError

impl StructuralPartialEq for EmptyFlags

impl StructuralPartialEq for Lsb0

impl StructuralPartialEq for Msb0

impl StructuralPartialEq for block_buffer::Error

impl StructuralPartialEq for Reciprocal

impl StructuralPartialEq for InvalidLength

impl StructuralPartialEq for MacError

impl StructuralPartialEq for InvalidBufferSize

impl StructuralPartialEq for GzHeader

impl StructuralPartialEq for Compression

impl StructuralPartialEq for getrandom::error::Error

impl StructuralPartialEq for MontgomeryConfigBabybear31PrimeField

impl StructuralPartialEq for MontgomeryConfigU64GoldilocksPrimeField

impl StructuralPartialEq for MontgomeryConfigMersenne31PrimeField

impl StructuralPartialEq for Mersenne31Field

impl StructuralPartialEq for P448GoldilocksPrimeField

impl StructuralPartialEq for U56x8

impl StructuralPartialEq for MontgomeryConfigPallas255PrimeField

impl StructuralPartialEq for Goldilocks64Field

impl StructuralPartialEq for MontgomeryConfigVesta255PrimeField

impl StructuralPartialEq for StreamResult

impl StructuralPartialEq for ParseBigIntError

impl StructuralPartialEq for udouble

impl StructuralPartialEq for u32x4_generic

impl StructuralPartialEq for u64x2_generic

impl StructuralPartialEq for u128x1_generic

impl StructuralPartialEq for vec256_storage

impl StructuralPartialEq for vec512_storage

impl StructuralPartialEq for Bernoulli

impl StructuralPartialEq for StepRng

impl StructuralPartialEq for SmallRng

impl StructuralPartialEq for StdRng

impl StructuralPartialEq for ChaCha8Core

impl StructuralPartialEq for ChaCha12Core

impl StructuralPartialEq for ChaCha20Core

impl StructuralPartialEq for IgnoredAny

impl StructuralPartialEq for serde::de::value::Error

impl StructuralPartialEq for Number

impl StructuralPartialEq for starknet_curve::ec_point::AffinePoint

impl StructuralPartialEq for starknet_curve::ec_point::ProjectivePoint

impl StructuralPartialEq for FieldElement

impl StructuralPartialEq for starknet_types_core::curve::affine_point::AffinePoint

impl StructuralPartialEq for starknet_types_core::curve::projective_point::ProjectivePoint

impl StructuralPartialEq for NonZeroFelt

impl StructuralPartialEq for ATerm

impl StructuralPartialEq for B0

impl StructuralPartialEq for B1

impl StructuralPartialEq for Z0

impl StructuralPartialEq for Equal

impl StructuralPartialEq for Greater

impl StructuralPartialEq for Less

impl StructuralPartialEq for UTerm

impl StructuralPartialEq for Const

impl StructuralPartialEq for Mut

impl StructuralPartialEq for NullPtrError

impl StructuralPartialEq for PhantomPinned

impl<'a> StructuralPartialEq for Utf8Pattern<'a>

impl<'a> StructuralPartialEq for Component<'a>

impl<'a> StructuralPartialEq for Prefix<'a>

impl<'a> StructuralPartialEq for Unexpected<'a>

impl<'a> StructuralPartialEq for Utf8Chunk<'a>

impl<'a> StructuralPartialEq for core::panic::location::Location<'a>

impl<'a, T, O> StructuralPartialEq for IterOnes<'a, T, O>

where T: 'a + BitStore, O: BitOrder,

impl<'a, T, O> StructuralPartialEq for IterZeros<'a, T, O>

where T: 'a + BitStore, O: BitOrder,

impl<A> StructuralPartialEq for ExtendedGcd<A>

impl<B, C> StructuralPartialEq for ControlFlow<B, C>

impl<E> StructuralPartialEq for Err<E>

impl<F> StructuralPartialEq for DenseMultilinearPolynomial<F>

where F: IsField, <F as IsField>::BaseType: Send + Sync,

impl<F, T> StructuralPartialEq for CubicExtensionField<F, T>

impl<F, T> StructuralPartialEq for QuadraticExtensionField<F, T>

where F: IsField, T: HasQuadraticNonResidue<F>,

impl<FE> StructuralPartialEq for Polynomial<FE>

impl<G1Point, G2Point> StructuralPartialEq for StructuredReferenceString<G1Point, G2Point>

impl<I> StructuralPartialEq for nom::error::Error<I>

impl<Idx> StructuralPartialEq for cairo_vm::with_std::ops::Range<Idx>

impl<Idx> StructuralPartialEq for cairo_vm::with_std::ops::RangeFrom<Idx>

impl<Idx> StructuralPartialEq for cairo_vm::with_std::ops::RangeInclusive<Idx>

impl<Idx> StructuralPartialEq for RangeTo<Idx>

impl<Idx> StructuralPartialEq for RangeToInclusive<Idx>

impl<Idx> StructuralPartialEq for core::range::Range<Idx>

impl<Idx> StructuralPartialEq for core::range::RangeFrom<Idx>

impl<Idx> StructuralPartialEq for core::range::RangeInclusive<Idx>

impl<Inner> StructuralPartialEq for Frozen<Inner>

where Inner: Mutability,

impl<L, R> StructuralPartialEq for Either<L, R>

impl<MOD, const LIMBS: usize> StructuralPartialEq for Residue<MOD, LIMBS>

where MOD: ResidueParams<LIMBS>,

impl<O> StructuralPartialEq for F32<O>

impl<O> StructuralPartialEq for F64<O>

impl<O> StructuralPartialEq for I16<O>

impl<O> StructuralPartialEq for I32<O>

impl<O> StructuralPartialEq for I64<O>

impl<O> StructuralPartialEq for I128<O>

impl<O> StructuralPartialEq for U16<O>

impl<O> StructuralPartialEq for U32<O>

impl<O> StructuralPartialEq for U64<O>

impl<O> StructuralPartialEq for U128<O>

impl<R> StructuralPartialEq for BitEnd<R>

where R: BitRegister,

impl<R> StructuralPartialEq for BitIdx<R>

where R: BitRegister,

impl<R> StructuralPartialEq for BitIdxError<R>

where R: BitRegister,

impl<R> StructuralPartialEq for BitMask<R>

where R: BitRegister,

impl<R> StructuralPartialEq for BitPos<R>

where R: BitRegister,

impl<R> StructuralPartialEq for BitSel<R>

where R: BitRegister,

impl<T> StructuralPartialEq for Bound<T>

impl<T> StructuralPartialEq for SendTimeoutError<T>

impl<T> StructuralPartialEq for TrySendError<T>

impl<T> StructuralPartialEq for Option<T>

impl<T> StructuralPartialEq for Poll<T>

impl<T> StructuralPartialEq for BitPtrError<T>

where T: BitStore,

impl<T> StructuralPartialEq for BitSpanError<T>

where T: BitStore,

impl<T> StructuralPartialEq for &T

where T: ?Sized,

impl<T> StructuralPartialEq for [T]

impl<T> StructuralPartialEq for (T₁, T₂, …, Tₙ)

This trait is implemented for tuples up to twelve items long.

impl<T> StructuralPartialEq for Reverse<T>

impl<T> StructuralPartialEq for ManuallyDrop<T>

where T: ?Sized,

impl<T> StructuralPartialEq for cairo_vm::with_std::num::NonZero<T>

where T: ZeroablePrimitive + StructuralPartialEq,

impl<T> StructuralPartialEq for Saturating<T>

impl<T> StructuralPartialEq for cairo_vm::with_std::num::Wrapping<T>

impl<T> StructuralPartialEq for SendError<T>

impl<T> StructuralPartialEq for Cursor<T>

impl<T> StructuralPartialEq for CapacityError<T>

impl<T> StructuralPartialEq for MisalignError<T>

impl<T> StructuralPartialEq for crypto_bigint::non_zero::NonZero<T>

where T: Zero,

impl<T> StructuralPartialEq for crypto_bigint::wrapping::Wrapping<T>

impl<T> StructuralPartialEq for TryFromBigIntError<T>

impl<T> StructuralPartialEq for PhantomData<T>

where T: ?Sized,

impl<T, E> StructuralPartialEq for Result<T, E>

impl<T, const N: usize> StructuralPartialEq for [T; N]

impl<U> StructuralPartialEq for NInt<U>

where U: Unsigned + NonZero,

impl<U> StructuralPartialEq for PInt<U>

where U: Unsigned + NonZero,

impl<U, B> StructuralPartialEq for UInt<U, B>

impl<V, A> StructuralPartialEq for TArr<V, A>

impl<X> StructuralPartialEq for Uniform<X>

where X: SampleUniform,

impl<X> StructuralPartialEq for UniformFloat<X>

impl<X> StructuralPartialEq for UniformInt<X>

impl<X> StructuralPartialEq for WeightedIndex<X>

where X: SampleUniform + PartialOrd,

impl<Y, R> StructuralPartialEq for CoroutineState<Y, R>

impl<Z> StructuralPartialEq for Zeroizing<Z>

where Z: Zeroize,

impl<const LIMBS: usize> StructuralPartialEq for DynResidue<LIMBS>

impl<const LIMBS: usize> StructuralPartialEq for DynResidueParams<LIMBS>

impl<const MODULUS: u32> StructuralPartialEq for U32Field<MODULUS>

impl<const MODULUS: u64> StructuralPartialEq for U64PrimeField<MODULUS>

impl<const MODULUS: u64> StructuralPartialEq for U64Field<MODULUS>

impl<const N: usize> StructuralPartialEq for BigInt<N>

impl<const NUM_LIMBS: usize> StructuralPartialEq for UnsignedInteger<NUM_LIMBS>