Trait concordium_std::marker::StructuralPartialEq[][src]

pub trait StructuralPartialEq { }
🔬 This is a nightly-only experimental API. (structural_match)
Expand description

Required trait for constants used in pattern matches.

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

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 attribute-based design to this trait.

Implementations on Foreign Types

impl StructuralPartialEq for IpAddr[src]

impl StructuralPartialEq for SocketAddr[src]

impl StructuralPartialEq for RecvError[src]

impl StructuralPartialEq for Ipv6MulticastScope[src]

impl StructuralPartialEq for ExitStatus[src]

impl StructuralPartialEq for IntoStringError[src]

impl StructuralPartialEq for FromVecWithNulError[src]

impl<T> StructuralPartialEq for SendError<T>[src]

impl StructuralPartialEq for VarError[src]

impl StructuralPartialEq for StripPrefixError[src]

impl StructuralPartialEq for WaitTimeoutResult[src]

impl StructuralPartialEq for FileType[src]

impl<T> StructuralPartialEq for TrySendError<T>[src]

impl<T> StructuralPartialEq for Cursor<T>[src]

impl StructuralPartialEq for CString[src]

impl<'a> StructuralPartialEq for Prefix<'a>[src]

impl StructuralPartialEq for ErrorKind[src]

impl StructuralPartialEq for SystemTime[src]

impl StructuralPartialEq for ThreadId[src]

impl StructuralPartialEq for Output[src]

impl StructuralPartialEq for Instant[src]

impl StructuralPartialEq for NulError[src]

impl StructuralPartialEq for SeekFrom[src]

impl StructuralPartialEq for BacktraceStatus[src]

impl StructuralPartialEq for FromBytesWithNulError[src]

impl StructuralPartialEq for UCred[src]

impl StructuralPartialEq for Shutdown[src]

impl StructuralPartialEq for AccessError[src]

impl<'a> StructuralPartialEq for Component<'a>[src]

impl StructuralPartialEq for AddrParseError[src]

impl StructuralPartialEq for Permissions[src]

impl StructuralPartialEq for RecvTimeoutError[src]

impl StructuralPartialEq for TryRecvError[src]

impl StructuralPartialEq for AllocError[src]

impl StructuralPartialEq for Duration[src]

impl StructuralPartialEq for ParseBoolError[src]

impl StructuralPartialEq for Ordering[src]

impl StructuralPartialEq for Layout[src]

impl StructuralPartialEq for CharTryFromError[src]

impl StructuralPartialEq for RawWaker[src]

impl<B, C> StructuralPartialEq for ControlFlow<B, C>[src]

impl<Idx> StructuralPartialEq for RangeToInclusive<Idx>[src]

impl StructuralPartialEq for DecodeUtf16Error[src]

impl StructuralPartialEq for TypeId[src]

impl<'a> StructuralPartialEq for Utf8LossyChunk<'a>[src]

impl<Idx> StructuralPartialEq for Range<Idx>[src]

impl<Idx> StructuralPartialEq for RangeInclusive<Idx>[src]

impl StructuralPartialEq for ParseCharError[src]

impl<Idx> StructuralPartialEq for RangeFrom<Idx>[src]

impl<'a> StructuralPartialEq for Location<'a>[src]

impl<T> StructuralPartialEq for Reverse<T>[src]

impl StructuralPartialEq for Ordering[src]

impl<T, E> StructuralPartialEq for Result<T, E>[src]

impl<T> StructuralPartialEq for Poll<T>[src]

impl<Idx> StructuralPartialEq for RangeTo<Idx>[src]

impl StructuralPartialEq for RawWakerVTable[src]

impl StructuralPartialEq for Error[src]

impl StructuralPartialEq for SearchStep[src]

impl StructuralPartialEq for RangeFull[src]

impl StructuralPartialEq for LayoutError[src]

impl<Y, R> StructuralPartialEq for GeneratorState<Y, R>[src]

impl StructuralPartialEq for CpuidResult[src]

impl StructuralPartialEq for NoneError[src]

impl<T> StructuralPartialEq for Option<T>[src]

impl StructuralPartialEq for Utf8Error[src]

impl StructuralPartialEq for FromUtf8Error[src]

impl StructuralPartialEq for _Unwind_Reason_Code

impl StructuralPartialEq for _Unwind_Action

impl StructuralPartialEq for Pages

impl StructuralPartialEq for Bytes

impl StructuralPartialEq for Words

impl StructuralPartialEq for Pages

impl StructuralPartialEq for Words

Loading content...

Implementors

impl StructuralPartialEq for TryReserveError[src]

impl StructuralPartialEq for Address[src]

impl StructuralPartialEq for AmountParseError[src]

impl StructuralPartialEq for LogError[src]

impl StructuralPartialEq for NewContractNameError[src]

impl StructuralPartialEq for NewReceiveNameError[src]

impl StructuralPartialEq for ParseDurationError[src]

impl StructuralPartialEq for FpCategory1.0.0[src]

impl StructuralPartialEq for IntErrorKind[src]

impl StructuralPartialEq for Fields[src]

impl StructuralPartialEq for SizeLength[src]

impl StructuralPartialEq for Type[src]

impl StructuralPartialEq for ActionsTree[src]

impl StructuralPartialEq for ContractStateError[src]

impl StructuralPartialEq for NonZeroI81.34.0[src]

impl StructuralPartialEq for NonZeroI161.34.0[src]

impl StructuralPartialEq for NonZeroI321.34.0[src]

impl StructuralPartialEq for NonZeroI641.34.0[src]

impl StructuralPartialEq for NonZeroI1281.34.0[src]

impl StructuralPartialEq for NonZeroIsize1.34.0[src]

impl StructuralPartialEq for NonZeroU81.28.0[src]

impl StructuralPartialEq for NonZeroU161.28.0[src]

impl StructuralPartialEq for NonZeroU321.28.0[src]

impl StructuralPartialEq for NonZeroU641.28.0[src]

impl StructuralPartialEq for NonZeroU1281.28.0[src]

impl StructuralPartialEq for NonZeroUsize1.28.0[src]

impl StructuralPartialEq for ParseFloatError1.0.0[src]

impl StructuralPartialEq for ParseIntError1.0.0[src]

impl StructuralPartialEq for TryFromIntError1.34.0[src]

impl StructuralPartialEq for AccountAddress[src]

impl StructuralPartialEq for Amount[src]

impl StructuralPartialEq for AttributeTag[src]

impl StructuralPartialEq for ContractAddress[src]

impl StructuralPartialEq for concordium_std::Duration[src]

impl StructuralPartialEq for OwnedContractName[src]

impl StructuralPartialEq for OwnedReceiveName[src]

impl StructuralPartialEq for ParseError[src]

impl StructuralPartialEq for Reject[src]

impl StructuralPartialEq for Timestamp[src]

impl StructuralPartialEq for PhantomPinned1.33.0[src]

impl<'a> StructuralPartialEq for ContractName<'a>[src]

impl<'a> StructuralPartialEq for ReceiveName<'a>[src]

impl<T> StructuralPartialEq for Bound<T>1.17.0[src]

impl<T> StructuralPartialEq for BTreeSet<T>1.0.0[src]

impl<T> StructuralPartialEq for ManuallyDrop<T> where
    T: ?Sized
1.20.0[src]

impl<T> StructuralPartialEq for Wrapping<T>1.0.0[src]

impl<T> StructuralPartialEq for PhantomData<T> where
    T: ?Sized
[src]

Loading content...