pub trait PartialOrd<Rhs = Self>: PartialEq<Rhs>where
Rhs: ?Sized,{
// Required method
fn partial_cmp(&self, other: &Rhs) -> Option<Ordering>;
// Provided methods
fn lt(&self, other: &Rhs) -> bool { ... }
fn le(&self, other: &Rhs) -> bool { ... }
fn gt(&self, other: &Rhs) -> bool { ... }
fn ge(&self, other: &Rhs) -> bool { ... }
}
Expand description
Trait for types that form a partial order.
The lt
, le
, gt
, and ge
methods of this trait can be called using the <
, <=
, >
, and
>=
operators, respectively.
This trait should only contain the comparison logic for a type if one plans on only
implementing PartialOrd
but not Ord
. Otherwise the comparison logic should be in Ord
and this trait implemented with Some(self.cmp(other))
.
The methods of this trait must be consistent with each other and with those of PartialEq
.
The following conditions must hold:
a == b
if and only ifpartial_cmp(a, b) == Some(Equal)
.a < b
if and only ifpartial_cmp(a, b) == Some(Less)
a > b
if and only ifpartial_cmp(a, b) == Some(Greater)
a <= b
if and only ifa < b || a == b
a >= b
if and only ifa > b || a == b
a != b
if and only if!(a == b)
.
Conditions 2–5 above are ensured by the default implementation. Condition 6 is already ensured
by PartialEq
.
If Ord
is also implemented for Self
and Rhs
, it must also be consistent with
partial_cmp
(see the documentation of that trait for the exact requirements). It’s easy to
accidentally make them disagree by deriving some of the traits and manually implementing others.
The comparison relations must satisfy the following conditions (for all a
, b
, c
of type
A
, B
, C
):
- Transitivity: if
A: PartialOrd<B>
andB: PartialOrd<C>
andA: PartialOrd<C>
, thena < b
andb < c
impliesa < c
. The same must hold for both==
and>
. This must also work for longer chains, such as whenA: PartialOrd<B>
,B: PartialOrd<C>
,C: PartialOrd<D>
, andA: PartialOrd<D>
all exist. - Duality: if
A: PartialOrd<B>
andB: PartialOrd<A>
, thena < b
if and only ifb > a
.
Note that the B: PartialOrd<A>
(dual) and A: PartialOrd<C>
(transitive) impls are not forced
to exist, but these requirements apply whenever they do exist.
Violating these requirements 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.
§Cross-crate considerations
Upholding the requirements stated above can become tricky when one crate implements PartialOrd
for a type of another crate (i.e., to allow comparing one of its own types with a type from the
standard library). The recommendation is to never implement this trait for a foreign type. In
other words, such a crate should do impl PartialOrd<ForeignType> for LocalType
, but it should
not do impl PartialOrd<LocalType> for ForeignType
.
This avoids the problem of transitive chains that criss-cross crate boundaries: for all local
types T
, you may assume that no other crate will add impl
s that allow comparing T < U
. In
other words, if other crates add impl
s that allow building longer transitive chains U1 < ... < T < V1 < ...
, then all the types that appear to the right of T
must be types that the crate
defining T
already knows about. This rules out transitive chains where downstream crates can
add new impl
s that “stitch together” comparisons of foreign types in ways that violate
transitivity.
Not having such foreign impl
s also avoids forward compatibility issues where one crate adding
more PartialOrd
implementations can cause build failures in downstream crates.
§Corollaries
The following corollaries follow from the above requirements:
- irreflexivity of
<
and>
:!(a < a)
,!(a > a)
- transitivity of
>
: ifa > b
andb > c
thena > c
- duality of
partial_cmp
:partial_cmp(a, b) == partial_cmp(b, a).map(Ordering::reverse)
§Strict and non-strict partial orders
The <
and >
operators behave according to a strict partial order. However, <=
and >=
do not behave according to a non-strict partial order. That is because mathematically, a
non-strict partial order would require reflexivity, i.e. a <= a
would need to be true for
every a
. This isn’t always the case for types that implement PartialOrd
, for example:
let a = f64::sqrt(-1.0);
assert_eq!(a <= a, false);
§Derivable
This trait can be used with #[derive]
.
When derive
d on structs, it will produce a
lexicographic ordering based on the
top-to-bottom declaration order of the struct’s members.
When derive
d on enums, variants are primarily ordered by their discriminants. Secondarily,
they are ordered by their fields. By default, the discriminant is smallest for variants at the
top, and largest for variants at the bottom. Here’s an example:
#[derive(PartialEq, PartialOrd)]
enum E {
Top,
Bottom,
}
assert!(E::Top < E::Bottom);
However, manually setting the discriminants can override this default behavior:
#[derive(PartialEq, PartialOrd)]
enum E {
Top = 2,
Bottom = 1,
}
assert!(E::Bottom < E::Top);
§How can I implement PartialOrd
?
PartialOrd
only requires implementation of the partial_cmp
method, with the others
generated from default implementations.
However it remains possible to implement the others separately for types which do not have a
total order. For example, for floating point numbers, NaN < 0 == false
and NaN >= 0 == false
(cf. IEEE 754-2008 section 5.11).
PartialOrd
requires your type to be PartialEq
.
If your type is Ord
, you can implement partial_cmp
by using cmp
:
use std::cmp::Ordering;
struct Person {
id: u32,
name: String,
height: u32,
}
impl PartialOrd for Person {
fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
Some(self.cmp(other))
}
}
impl Ord for Person {
fn cmp(&self, other: &Self) -> Ordering {
self.height.cmp(&other.height)
}
}
impl PartialEq for Person {
fn eq(&self, other: &Self) -> bool {
self.height == other.height
}
}
impl Eq for Person {}
You may also find it useful to use partial_cmp
on your type’s fields. Here is an example of
Person
types who have a floating-point height
field that is the only field to be used for
sorting:
use std::cmp::Ordering;
struct Person {
id: u32,
name: String,
height: f64,
}
impl PartialOrd for Person {
fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
self.height.partial_cmp(&other.height)
}
}
impl PartialEq for Person {
fn eq(&self, other: &Self) -> bool {
self.height == other.height
}
}
§Examples of incorrect PartialOrd
implementations
use std::cmp::Ordering;
#[derive(PartialEq, Debug)]
struct Character {
health: u32,
experience: u32,
}
impl PartialOrd for Character {
fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
Some(self.health.cmp(&other.health))
}
}
let a = Character {
health: 10,
experience: 5,
};
let b = Character {
health: 10,
experience: 77,
};
// Mistake: `PartialEq` and `PartialOrd` disagree with each other.
assert_eq!(a.partial_cmp(&b).unwrap(), Ordering::Equal); // a == b according to `PartialOrd`.
assert_ne!(a, b); // a != b according to `PartialEq`.
§Examples
let x: u32 = 0;
let y: u32 = 1;
assert_eq!(x < y, true);
assert_eq!(x.lt(&y), true);
Required Methods§
1.55.0 · sourcefn partial_cmp(&self, other: &Rhs) -> Option<Ordering>
fn partial_cmp(&self, other: &Rhs) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists.
§Examples
use std::cmp::Ordering;
let result = 1.0.partial_cmp(&2.0);
assert_eq!(result, Some(Ordering::Less));
let result = 1.0.partial_cmp(&1.0);
assert_eq!(result, Some(Ordering::Equal));
let result = 2.0.partial_cmp(&1.0);
assert_eq!(result, Some(Ordering::Greater));
When comparison is impossible:
let result = f64::NAN.partial_cmp(&1.0);
assert_eq!(result, None);
Provided Methods§
1.55.0 · sourcefn lt(&self, other: &Rhs) -> bool
fn lt(&self, other: &Rhs) -> bool
Tests less than (for self
and other
) and is used by the <
operator.
§Examples
assert_eq!(1.0 < 1.0, false);
assert_eq!(1.0 < 2.0, true);
assert_eq!(2.0 < 1.0, false);
1.55.0 · sourcefn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
Tests less than or equal to (for self
and other
) and is used by the
<=
operator.
§Examples
assert_eq!(1.0 <= 1.0, true);
assert_eq!(1.0 <= 2.0, true);
assert_eq!(2.0 <= 1.0, false);
Implementors§
impl PartialOrd for EntityIndex
impl PartialOrd for LibCall
impl PartialOrd for AsciiChar
impl PartialOrd for Ordering
impl PartialOrd for Infallible
impl PartialOrd for IpAddr
impl PartialOrd for SocketAddr
impl PartialOrd for ErrorKind
impl PartialOrd for Level
impl PartialOrd for LevelFilter
impl PartialOrd for bool
impl PartialOrd for char
impl PartialOrd for f16
impl PartialOrd for f32
impl PartialOrd for f64
impl PartialOrd for f128
impl PartialOrd for i8
impl PartialOrd for i16
impl PartialOrd for i32
impl PartialOrd for i64
impl PartialOrd for i128
impl PartialOrd for isize
impl PartialOrd for !
impl PartialOrd for str
Implements comparison operations on strings.
Strings are compared lexicographically by their byte values. This compares Unicode code
points based on their positions in the code charts. This is not necessarily the same as
“alphabetical” order, which varies by language and locale. Comparing strings according to
culturally-accepted standards requires locale-specific data that is outside the scope of
the str
type.
impl PartialOrd for u8
impl PartialOrd for u16
impl PartialOrd for u32
impl PartialOrd for u64
impl PartialOrd for u128
impl PartialOrd for ()
impl PartialOrd for usize
impl PartialOrd for ComponentFuncIndex
impl PartialOrd for ComponentIndex
impl PartialOrd for ComponentInstanceIndex
impl PartialOrd for ComponentTypeIndex
impl PartialOrd for ComponentUpvarIndex
impl PartialOrd for DefinedResourceIndex
impl PartialOrd for ExportIndex
impl PartialOrd for ImportIndex
impl PartialOrd for LoweredIndex
impl PartialOrd for ModuleIndex
impl PartialOrd for ModuleInstanceIndex
impl PartialOrd for ModuleUpvarIndex
impl PartialOrd for ResourceIndex
impl PartialOrd for RuntimeComponentInstanceIndex
impl PartialOrd for RuntimeImportIndex
impl PartialOrd for RuntimeInstanceIndex
impl PartialOrd for RuntimeMemoryIndex
impl PartialOrd for RuntimePostReturnIndex
impl PartialOrd for RuntimeReallocIndex
impl PartialOrd for StaticComponentIndex
impl PartialOrd for TrampolineIndex
impl PartialOrd for TypeComponentIndex
impl PartialOrd for TypeComponentInstanceIndex
impl PartialOrd for TypeEnumIndex
impl PartialOrd for TypeFlagsIndex
impl PartialOrd for TypeFuncIndex
impl PartialOrd for TypeListIndex
impl PartialOrd for TypeModuleIndex
impl PartialOrd for TypeOptionIndex
impl PartialOrd for TypeRecordIndex
impl PartialOrd for TypeResourceTableIndex
impl PartialOrd for TypeResultIndex
impl PartialOrd for TypeTupleIndex
impl PartialOrd for TypeVariantIndex
impl PartialOrd for String
impl PartialOrd for BuiltinFunctionIndex
impl PartialOrd for DataIndex
impl PartialOrd for DefinedFuncIndex
impl PartialOrd for DefinedGlobalIndex
impl PartialOrd for DefinedMemoryIndex
impl PartialOrd for DefinedTableIndex
impl PartialOrd for ElemIndex
impl PartialOrd for EngineInternedRecGroupIndex
impl PartialOrd for FuncIndex
impl PartialOrd for FuncRefIndex
impl PartialOrd for GlobalIndex
impl PartialOrd for MemoryIndex
impl PartialOrd for ModuleInternedRecGroupIndex
impl PartialOrd for ModuleInternedTypeIndex
impl PartialOrd for OwnedMemoryIndex
impl PartialOrd for RecGroupRelativeTypeIndex
impl PartialOrd for StaticModuleIndex
impl PartialOrd for TableIndex
impl PartialOrd for TagIndex
impl PartialOrd for TypeIndex
impl PartialOrd for TypeId
impl PartialOrd for CpuidResult
impl PartialOrd for CStr
impl PartialOrd for Error
impl PartialOrd for PhantomPinned
impl PartialOrd for Ipv4Addr
impl PartialOrd for Ipv6Addr
impl PartialOrd for SocketAddrV4
impl PartialOrd for SocketAddrV6
impl PartialOrd for Alignment
impl PartialOrd for Duration
impl PartialOrd for CString
impl PartialOrd for OsStr
impl PartialOrd for OsString
impl PartialOrd for Path
impl PartialOrd for PathBuf
impl PartialOrd for Instant
impl PartialOrd for SystemTime
impl PartialOrd for BuildMetadata
impl PartialOrd for Prerelease
impl PartialOrd for Version
impl PartialOrd for AbstractHeapType
impl PartialOrd for AliasableResourceId
impl PartialOrd for AnyTypeId
impl PartialOrd for ArangeEntry
impl PartialOrd for ArrayType
impl PartialOrd for ColumnType
impl PartialOrd for ComdatId
impl PartialOrd for ComponentAnyTypeId
impl PartialOrd for ComponentCoreInstanceTypeId
impl PartialOrd for ComponentCoreModuleTypeId
impl PartialOrd for ComponentCoreTypeId
impl PartialOrd for ComponentDefinedTypeId
impl PartialOrd for ComponentFuncTypeId
impl PartialOrd for ComponentInstanceTypeId
impl PartialOrd for ComponentName
impl PartialOrd for ComponentNameKind<'_>
impl PartialOrd for ComponentSectionId
impl PartialOrd for ComponentTypeId
impl PartialOrd for ComponentValueTypeId
impl PartialOrd for CompositeInnerType
impl PartialOrd for CompositeType
impl PartialOrd for ContType
impl PartialOrd for CoreTypeId
impl PartialOrd for DemangleNodeType
impl PartialOrd for DwAccess
impl PartialOrd for DwAddr
impl PartialOrd for DwAt
impl PartialOrd for DwAte
impl PartialOrd for DwCc
impl PartialOrd for DwCfa
impl PartialOrd for DwChildren
impl PartialOrd for DwDefaulted
impl PartialOrd for DwDs
impl PartialOrd for DwDsc
impl PartialOrd for DwEhPe
impl PartialOrd for DwEnd
impl PartialOrd for DwForm
impl PartialOrd for DwId
impl PartialOrd for DwIdx
impl PartialOrd for DwInl
impl PartialOrd for DwLang
impl PartialOrd for DwLle
impl PartialOrd for DwLnct
impl PartialOrd for DwLne
impl PartialOrd for DwLns
impl PartialOrd for DwMacro
impl PartialOrd for DwOp
impl PartialOrd for DwOrd
impl PartialOrd for DwRle
impl PartialOrd for DwSect
impl PartialOrd for DwSectV2
impl PartialOrd for DwTag
impl PartialOrd for DwUt
impl PartialOrd for DwVirtuality
impl PartialOrd for DwVis
impl PartialOrd for FieldType
impl PartialOrd for FieldType
impl PartialOrd for FuncType
impl PartialOrd for HeapType
impl PartialOrd for KebabStr
impl PartialOrd for KebabString
impl PartialOrd for PackedIndex
impl PartialOrd for Range
impl PartialOrd for RecGroup
impl PartialOrd for RecGroupId
impl PartialOrd for RefType
impl PartialOrd for RefType
impl PartialOrd for Register
impl PartialOrd for ResourceId
impl PartialOrd for SectionId
impl PartialOrd for SectionId
impl PartialOrd for SectionId
impl PartialOrd for SectionIndex
impl PartialOrd for StandardSection
impl PartialOrd for StandardSegment
impl PartialOrd for StorageType
impl PartialOrd for StorageType
impl PartialOrd for StructType
impl PartialOrd for SubType
impl PartialOrd for SymbolFlags
impl PartialOrd for SymbolId
impl PartialOrd for SymbolIndex
impl PartialOrd for UnpackedIndex
impl PartialOrd for ValType
impl PartialOrd for ValType
impl PartialOrd for ValidatorId
impl PartialOrd<IpAddr> for Ipv4Addr
impl PartialOrd<IpAddr> for Ipv6Addr
impl PartialOrd<Level> for LevelFilter
impl PartialOrd<LevelFilter> for Level
impl PartialOrd<str> for OsStr
impl PartialOrd<str> for OsString
impl PartialOrd<Ipv4Addr> for IpAddr
impl PartialOrd<Ipv6Addr> for IpAddr
impl PartialOrd<OsStr> for Path
impl PartialOrd<OsStr> for PathBuf
impl PartialOrd<OsString> for Path
impl PartialOrd<OsString> for PathBuf
impl PartialOrd<Path> for OsStr
impl PartialOrd<Path> for OsString
impl PartialOrd<Path> for PathBuf
impl PartialOrd<PathBuf> for OsStr
impl PartialOrd<PathBuf> for OsString
impl PartialOrd<PathBuf> for Path
impl<'a> PartialOrd for Component<'a>
impl<'a> PartialOrd for Prefix<'a>
impl<'a> PartialOrd for Location<'a>
impl<'a> PartialOrd for Components<'a>
impl<'a> PartialOrd for PrefixComponent<'a>
impl<'a> PartialOrd for Metadata<'a>
impl<'a> PartialOrd for MetadataBuilder<'a>
impl<'a> PartialOrd for DependencyName<'a>
impl<'a> PartialOrd for HashName<'a>
impl<'a> PartialOrd for InterfaceName<'a>
impl<'a> PartialOrd for ResourceFunc<'a>
impl<'a> PartialOrd for UrlName<'a>
impl<'a> PartialOrd<&'a OsStr> for Path
impl<'a> PartialOrd<&'a OsStr> for PathBuf
impl<'a> PartialOrd<&'a Path> for OsStr
impl<'a> PartialOrd<&'a Path> for OsString
impl<'a> PartialOrd<&'a Path> for PathBuf
impl<'a> PartialOrd<Cow<'a, OsStr>> for Path
impl<'a> PartialOrd<Cow<'a, OsStr>> for PathBuf
impl<'a> PartialOrd<Cow<'a, Path>> for OsStr
impl<'a> PartialOrd<Cow<'a, Path>> for OsString
impl<'a> PartialOrd<Cow<'a, Path>> for Path
impl<'a> PartialOrd<Cow<'a, Path>> for PathBuf
impl<'a> PartialOrd<OsStr> for &'a Path
impl<'a> PartialOrd<OsStr> for Cow<'a, Path>
impl<'a> PartialOrd<OsString> for &'a Path
impl<'a> PartialOrd<OsString> for Cow<'a, Path>
impl<'a> PartialOrd<Path> for &'a OsStr
impl<'a> PartialOrd<Path> for Cow<'a, OsStr>
impl<'a> PartialOrd<Path> for Cow<'a, Path>
impl<'a> PartialOrd<PathBuf> for &'a OsStr
impl<'a> PartialOrd<PathBuf> for &'a Path
impl<'a> PartialOrd<PathBuf> for Cow<'a, OsStr>
impl<'a> PartialOrd<PathBuf> for Cow<'a, Path>
impl<'a, 'b> PartialOrd<&'a OsStr> for OsString
impl<'a, 'b> PartialOrd<&'a Path> for Cow<'b, OsStr>
impl<'a, 'b> PartialOrd<&'b OsStr> for Cow<'a, OsStr>
impl<'a, 'b> PartialOrd<&'b OsStr> for Cow<'a, Path>
impl<'a, 'b> PartialOrd<&'b Path> for Cow<'a, Path>
impl<'a, 'b> PartialOrd<Cow<'a, OsStr>> for &'b OsStr
impl<'a, 'b> PartialOrd<Cow<'a, OsStr>> for OsStr
impl<'a, 'b> PartialOrd<Cow<'a, OsStr>> for OsString
impl<'a, 'b> PartialOrd<Cow<'a, Path>> for &'b OsStr
impl<'a, 'b> PartialOrd<Cow<'a, Path>> for &'b Path
impl<'a, 'b> PartialOrd<Cow<'b, OsStr>> for &'a Path
impl<'a, 'b> PartialOrd<OsStr> for Cow<'a, OsStr>
impl<'a, 'b> PartialOrd<OsStr> for OsString
impl<'a, 'b> PartialOrd<OsString> for &'a OsStr
impl<'a, 'b> PartialOrd<OsString> for Cow<'a, OsStr>
impl<'a, 'b> PartialOrd<OsString> for OsStr
impl<'a, B> PartialOrd for Cow<'a, B>
impl<A> PartialOrd for SmallVec<A>where
A: Array,
<A as Array>::Item: PartialOrd,
impl<A, B> PartialOrd<&B> for &A
impl<A, B> PartialOrd<&mut B> for &mut A
impl<Dyn> PartialOrd for DynMetadata<Dyn>where
Dyn: ?Sized,
impl<E> PartialOrd for I16<E>where
E: PartialOrd + Endian,
impl<E> PartialOrd for I16Bytes<E>where
E: PartialOrd + Endian,
impl<E> PartialOrd for I32<E>where
E: PartialOrd + Endian,
impl<E> PartialOrd for I32Bytes<E>where
E: PartialOrd + Endian,
impl<E> PartialOrd for I64<E>where
E: PartialOrd + Endian,
impl<E> PartialOrd for I64Bytes<E>where
E: PartialOrd + Endian,
impl<E> PartialOrd for U16<E>where
E: PartialOrd + Endian,
impl<E> PartialOrd for U16Bytes<E>where
E: PartialOrd + Endian,
impl<E> PartialOrd for U32<E>where
E: PartialOrd + Endian,
impl<E> PartialOrd for U32Bytes<E>where
E: PartialOrd + Endian,
impl<E> PartialOrd for U64<E>where
E: PartialOrd + Endian,
impl<E> PartialOrd for U64Bytes<E>where
E: PartialOrd + Endian,
impl<F> PartialOrd for Fwhere
F: FnPtr,
impl<K, V> PartialOrd for Slice<K, V>where
K: PartialOrd,
V: PartialOrd,
impl<K, V, A> PartialOrd for BTreeMap<K, V, A>
impl<Ptr, Q> PartialOrd<Pin<Q>> for Pin<Ptr>
impl<T> PartialOrd for Option<T>where
T: PartialOrd,
impl<T> PartialOrd for Poll<T>where
T: PartialOrd,
impl<T> PartialOrd for *const Twhere
T: ?Sized,
impl<T> PartialOrd for *mut Twhere
T: ?Sized,
impl<T> PartialOrd for [T]where
T: PartialOrd,
Implements comparison of slices lexicographically.
impl<T> PartialOrd for (T₁, T₂, …, Tₙ)where
T: PartialOrd + ?Sized,
This trait is implemented for tuples up to twelve items long.
impl<T> PartialOrd for PackedOption<T>where
T: PartialOrd + ReservedValue,
impl<T> PartialOrd for Cell<T>where
T: PartialOrd + Copy,
impl<T> PartialOrd for RefCell<T>where
T: PartialOrd + ?Sized,
impl<T> PartialOrd for Reverse<T>where
T: PartialOrd,
impl<T> PartialOrd for PhantomData<T>where
T: ?Sized,
impl<T> PartialOrd for ManuallyDrop<T>where
T: PartialOrd + ?Sized,
impl<T> PartialOrd for NonZero<T>where
T: ZeroablePrimitive + PartialOrd,
impl<T> PartialOrd for Saturating<T>where
T: PartialOrd,
impl<T> PartialOrd for Wrapping<T>where
T: PartialOrd,
impl<T> PartialOrd for NonNull<T>where
T: ?Sized,
impl<T> PartialOrd for DebugInfoOffset<T>where
T: PartialOrd,
impl<T> PartialOrd for DebugTypesOffset<T>where
T: PartialOrd,
impl<T> PartialOrd for Slice<T>where
T: PartialOrd,
impl<T> PartialOrd for Unalign<T>where
T: Unaligned + PartialOrd,
impl<T> PartialOrd for UnitOffset<T>where
T: PartialOrd,
impl<T> PartialOrd for UnitSectionOffset<T>where
T: PartialOrd,
impl<T, A1, A2> PartialOrd<Vec<T, A2>> for Vec<T, A1>
Implements comparison of vectors, lexicographically.
impl<T, A> PartialOrd for Box<T, A>
impl<T, A> PartialOrd for BTreeSet<T, A>
impl<T, A> PartialOrd for LinkedList<T, A>where
T: PartialOrd,
A: Allocator,
impl<T, A> PartialOrd for VecDeque<T, A>where
T: PartialOrd,
A: Allocator,
impl<T, A> PartialOrd for Rc<T, A>
impl<T, A> PartialOrd for Arc<T, A>
impl<T, B> PartialOrd for Ref<B, [T]>where
B: ByteSlice,
T: FromBytes + PartialOrd,
impl<T, B> PartialOrd for Ref<B, T>where
B: ByteSlice,
T: FromBytes + PartialOrd,
impl<T, E> PartialOrd for Result<T, E>where
T: PartialOrd,
E: PartialOrd,
impl<T, const N: usize> PartialOrd for [T; N]where
T: PartialOrd,
Implements comparison of arrays lexicographically.