Trait bitflags::__core::cmp::PartialOrd
[−]
[src]
pub trait PartialOrd<Rhs = Self>: PartialEq<Rhs> where Rhs: ?Sized {
fn partial_cmp(&self, other: &Rhs) -> Option<Ordering>;
fn lt(&self, other: &Rhs) -> bool { ... }
fn le(&self, other: &Rhs) -> bool { ... }
fn gt(&self, other: &Rhs) -> bool { ... }
fn ge(&self, other: &Rhs) -> bool { ... }
}Trait for values that can be compared for a sort-order.
The comparison must satisfy, for all a, b and c:
- antisymmetry: if
a < bthen!(a > b), as well asa > bimplying!(a < b); and - transitivity:
a < bandb < cimpliesa < c. The same must hold for both==and>.
Note that these requirements mean that the trait itself must be implemented symmetrically and
transitively: if T: PartialOrd<U> and U: PartialOrd<V> then U: PartialOrd<T> and T: PartialOrd<V>.
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).
This trait can be used with #[derive]. When derived, it will produce an ordering
based on the top-to-bottom declaration order of the struct's members.
Examples
let x : u32 = 0; let y : u32 = 1; assert_eq!(x < y, true); assert_eq!(x.lt(&y), true);
Required Methods
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 = std::f64::NAN.partial_cmp(&1.0); assert_eq!(result, None);
Provided Methods
fn lt(&self, other: &Rhs) -> bool
This method tests less than (for self and other) and is used by the < operator.
Examples
let result = 1.0 < 2.0; assert_eq!(result, true); let result = 2.0 < 1.0; assert_eq!(result, false);
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for self and other) and is used by the <=
operator.
Examples
let result = 1.0 <= 2.0; assert_eq!(result, true); let result = 2.0 <= 2.0; assert_eq!(result, true);
fn gt(&self, other: &Rhs) -> bool
This method tests greater than (for self and other) and is used by the > operator.
Examples
let result = 1.0 > 2.0; assert_eq!(result, false); let result = 2.0 > 2.0; assert_eq!(result, false);
fn ge(&self, other: &Rhs) -> bool
This method tests greater than or equal to (for self and other) and is used by the >=
operator.
Examples
let result = 2.0 >= 1.0; assert_eq!(result, true); let result = 2.0 >= 2.0; assert_eq!(result, true);
Implementors
impl<A> PartialOrd for VecDeque<A> where A: PartialOrd<A>impl<A> PartialOrd for LinkedList<A> where A: PartialOrd<A>impl PartialOrd for CStringimpl PartialOrd for CStrimpl PartialOrd for OsStringimpl PartialOrd for OsStringimpl PartialOrd for OsStrimpl PartialOrd for OsStrimpl<'a, 'b> PartialOrd for OsStringimpl<'a, 'b> PartialOrd for OsStrimpl<'a, 'b> PartialOrd for OsStringimpl<'a, 'b> PartialOrd for &'a OsStrimpl<'a, 'b> PartialOrd for Cow<'a, OsStr>impl<'a, 'b> PartialOrd for OsStrimpl<'a, 'b> PartialOrd for Cow<'a, OsStr>impl<'a, 'b> PartialOrd for &'b OsStrimpl<'a, 'b> PartialOrd for Cow<'a, OsStr>impl<'a, 'b> PartialOrd for OsStringimpl PartialOrd for IpAddrimpl PartialOrd for Ipv4Addrimpl PartialOrd for Ipv6Addrimpl<'a> PartialOrd for Prefix<'a>impl<'a> PartialOrd for PrefixComponent<'a>impl<'a> PartialOrd for Component<'a>impl<'a> PartialOrd for Components<'a>impl PartialOrd for PathBufimpl PartialOrd for Pathimpl<'a, 'b> PartialOrd for PathBufimpl<'a, 'b> PartialOrd for Pathimpl<'a, 'b> PartialOrd for PathBufimpl<'a, 'b> PartialOrd for &'a Pathimpl<'a, 'b> PartialOrd for Cow<'a, Path>impl<'a, 'b> PartialOrd for Pathimpl<'a, 'b> PartialOrd for Cow<'a, Path>impl<'a, 'b> PartialOrd for &'b Pathimpl<'a, 'b> PartialOrd for Cow<'a, Path>impl<'a, 'b> PartialOrd for PathBufimpl<'a, 'b> PartialOrd for PathBufimpl<'a, 'b> PartialOrd for OsStrimpl<'a, 'b> PartialOrd for PathBufimpl<'a, 'b> PartialOrd for &'a OsStrimpl<'a, 'b> PartialOrd for PathBufimpl<'a, 'b> PartialOrd for Cow<'a, OsStr>impl<'a, 'b> PartialOrd for PathBufimpl<'a, 'b> PartialOrd for OsStringimpl<'a, 'b> PartialOrd for Pathimpl<'a, 'b> PartialOrd for OsStrimpl<'a, 'b> PartialOrd for Pathimpl<'a, 'b> PartialOrd for &'a OsStrimpl<'a, 'b> PartialOrd for Pathimpl<'a, 'b> PartialOrd for Cow<'a, OsStr>impl<'a, 'b> PartialOrd for Pathimpl<'a, 'b> PartialOrd for OsStringimpl<'a, 'b> PartialOrd for &'a Pathimpl<'a, 'b> PartialOrd for OsStrimpl<'a, 'b> PartialOrd for &'a Pathimpl<'a, 'b> PartialOrd for Cow<'b, OsStr>impl<'a, 'b> PartialOrd for &'a Pathimpl<'a, 'b> PartialOrd for OsStringimpl<'a, 'b> PartialOrd for Cow<'a, Path>impl<'a, 'b> PartialOrd for OsStrimpl<'a, 'b> PartialOrd for Cow<'a, Path>impl<'a, 'b> PartialOrd for &'b OsStrimpl<'a, 'b> PartialOrd for Cow<'a, Path>impl<'a, 'b> PartialOrd for OsStringimpl PartialOrd for Durationimpl PartialOrd for Instantimpl PartialOrd for SystemTimeimpl<T> PartialOrd for Vec<T> where T: PartialOrd<T>impl<T> PartialOrd for Rc<T> where T: PartialOrd<T> + ?Sizedimpl<T> PartialOrd for Option<T> where T: PartialOrd<T>impl<'a, B> PartialOrd for Cow<'a, B> where B: PartialOrd<B> + ToOwned + ?Sizedimpl<Ret> PartialOrd for fn() -> Retimpl<Ret> PartialOrd for extern fn() -> Retimpl<Ret> PartialOrd for unsafe fn() -> Retimpl<Ret> PartialOrd for unsafe extern fn() -> Retimpl<Ret, A> PartialOrd for fn(A) -> Retimpl<Ret, A> PartialOrd for extern fn(A) -> Retimpl<Ret, A> PartialOrd for unsafe fn(A) -> Retimpl<Ret, A> PartialOrd for unsafe extern fn(A) -> Retimpl<Ret, A, B> PartialOrd for fn(A, B) -> Retimpl<Ret, A, B> PartialOrd for extern fn(A, B) -> Retimpl<Ret, A, B> PartialOrd for unsafe fn(A, B) -> Retimpl<Ret, A, B> PartialOrd for unsafe extern fn(A, B) -> Retimpl<Ret, A, B, C> PartialOrd for fn(A, B, C) -> Retimpl<Ret, A, B, C> PartialOrd for extern fn(A, B, C) -> Retimpl<Ret, A, B, C> PartialOrd for unsafe fn(A, B, C) -> Retimpl<Ret, A, B, C> PartialOrd for unsafe extern fn(A, B, C) -> Retimpl<Ret, A, B, C, D> PartialOrd for fn(A, B, C, D) -> Retimpl<Ret, A, B, C, D> PartialOrd for extern fn(A, B, C, D) -> Retimpl<Ret, A, B, C, D> PartialOrd for unsafe fn(A, B, C, D) -> Retimpl<Ret, A, B, C, D> PartialOrd for unsafe extern fn(A, B, C, D) -> Retimpl<Ret, A, B, C, D, E> PartialOrd for fn(A, B, C, D, E) -> Retimpl<Ret, A, B, C, D, E> PartialOrd for extern fn(A, B, C, D, E) -> Retimpl<Ret, A, B, C, D, E> PartialOrd for unsafe fn(A, B, C, D, E) -> Retimpl<Ret, A, B, C, D, E> PartialOrd for unsafe extern fn(A, B, C, D, E) -> Retimpl<Ret, A, B, C, D, E, F> PartialOrd for fn(A, B, C, D, E, F) -> Retimpl<Ret, A, B, C, D, E, F> PartialOrd for extern fn(A, B, C, D, E, F) -> Retimpl<Ret, A, B, C, D, E, F> PartialOrd for unsafe fn(A, B, C, D, E, F) -> Retimpl<Ret, A, B, C, D, E, F> PartialOrd for unsafe extern fn(A, B, C, D, E, F) -> Retimpl<Ret, A, B, C, D, E, F, G> PartialOrd for fn(A, B, C, D, E, F, G) -> Retimpl<Ret, A, B, C, D, E, F, G> PartialOrd for extern fn(A, B, C, D, E, F, G) -> Retimpl<Ret, A, B, C, D, E, F, G> PartialOrd for unsafe fn(A, B, C, D, E, F, G) -> Retimpl<Ret, A, B, C, D, E, F, G> PartialOrd for unsafe extern fn(A, B, C, D, E, F, G) -> Retimpl<Ret, A, B, C, D, E, F, G, H> PartialOrd for fn(A, B, C, D, E, F, G, H) -> Retimpl<Ret, A, B, C, D, E, F, G, H> PartialOrd for extern fn(A, B, C, D, E, F, G, H) -> Retimpl<Ret, A, B, C, D, E, F, G, H> PartialOrd for unsafe fn(A, B, C, D, E, F, G, H) -> Retimpl<Ret, A, B, C, D, E, F, G, H> PartialOrd for unsafe extern fn(A, B, C, D, E, F, G, H) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I> PartialOrd for fn(A, B, C, D, E, F, G, H, I) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I> PartialOrd for extern fn(A, B, C, D, E, F, G, H, I) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I> PartialOrd for unsafe fn(A, B, C, D, E, F, G, H, I) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I> PartialOrd for unsafe extern fn(A, B, C, D, E, F, G, H, I) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J> PartialOrd for fn(A, B, C, D, E, F, G, H, I, J) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J> PartialOrd for extern fn(A, B, C, D, E, F, G, H, I, J) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J> PartialOrd for unsafe fn(A, B, C, D, E, F, G, H, I, J) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J> PartialOrd for unsafe extern fn(A, B, C, D, E, F, G, H, I, J) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J, K> PartialOrd for fn(A, B, C, D, E, F, G, H, I, J, K) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J, K> PartialOrd for extern fn(A, B, C, D, E, F, G, H, I, J, K) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J, K> PartialOrd for unsafe fn(A, B, C, D, E, F, G, H, I, J, K) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J, K> PartialOrd for unsafe extern fn(A, B, C, D, E, F, G, H, I, J, K) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J, K, L> PartialOrd for fn(A, B, C, D, E, F, G, H, I, J, K, L) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J, K, L> PartialOrd for extern fn(A, B, C, D, E, F, G, H, I, J, K, L) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J, K, L> PartialOrd for unsafe fn(A, B, C, D, E, F, G, H, I, J, K, L) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J, K, L> PartialOrd for unsafe extern fn(A, B, C, D, E, F, G, H, I, J, K, L) -> Retimpl<T> PartialOrd for *const T where T: ?Sizedimpl<T> PartialOrd for *mut T where T: ?Sizedimpl<T> PartialOrd for Box<T> where T: PartialOrd<T> + ?Sizedimpl<T> PartialOrd for PhantomData<T> where T: ?Sizedimpl<T, E> PartialOrd for Result<T, E> where E: PartialOrd<E>, T: PartialOrd<T>impl PartialOrd for Stringimpl PartialOrd for Orderingimpl PartialOrd for ()impl PartialOrd for boolimpl PartialOrd for f32impl PartialOrd for f64impl PartialOrd for charimpl PartialOrd for usizeimpl PartialOrd for u8impl PartialOrd for u16impl PartialOrd for u32impl PartialOrd for u64impl PartialOrd for isizeimpl PartialOrd for i8impl PartialOrd for i16impl PartialOrd for i32impl PartialOrd for i64impl<'a, 'b, A, B> PartialOrd for &'a A where B: ?Sized, A: PartialOrd<B> + ?Sizedimpl<'a, 'b, A, B> PartialOrd for &'a mut A where A: PartialOrd<B> + ?Sized, B: ?Sizedimpl<T> PartialOrd for Wrapping<T> where T: PartialOrd<T>impl<T> PartialOrd for NonZero<T> where T: Zeroable + PartialOrd<T>impl<T> PartialOrd for [T; 0] where T: PartialOrd<T>impl<T> PartialOrd for [T; 1] where T: PartialOrd<T>impl<T> PartialOrd for [T; 2] where T: PartialOrd<T>impl<T> PartialOrd for [T; 3] where T: PartialOrd<T>impl<T> PartialOrd for [T; 4] where T: PartialOrd<T>impl<T> PartialOrd for [T; 5] where T: PartialOrd<T>impl<T> PartialOrd for [T; 6] where T: PartialOrd<T>impl<T> PartialOrd for [T; 7] where T: PartialOrd<T>impl<T> PartialOrd for [T; 8] where T: PartialOrd<T>impl<T> PartialOrd for [T; 9] where T: PartialOrd<T>impl<T> PartialOrd for [T; 10] where T: PartialOrd<T>impl<T> PartialOrd for [T; 11] where T: PartialOrd<T>impl<T> PartialOrd for [T; 12] where T: PartialOrd<T>impl<T> PartialOrd for [T; 13] where T: PartialOrd<T>impl<T> PartialOrd for [T; 14] where T: PartialOrd<T>impl<T> PartialOrd for [T; 15] where T: PartialOrd<T>impl<T> PartialOrd for [T; 16] where T: PartialOrd<T>impl<T> PartialOrd for [T; 17] where T: PartialOrd<T>impl<T> PartialOrd for [T; 18] where T: PartialOrd<T>impl<T> PartialOrd for [T; 19] where T: PartialOrd<T>impl<T> PartialOrd for [T; 20] where T: PartialOrd<T>impl<T> PartialOrd for [T; 21] where T: PartialOrd<T>impl<T> PartialOrd for [T; 22] where T: PartialOrd<T>impl<T> PartialOrd for [T; 23] where T: PartialOrd<T>impl<T> PartialOrd for [T; 24] where T: PartialOrd<T>impl<T> PartialOrd for [T; 25] where T: PartialOrd<T>impl<T> PartialOrd for [T; 26] where T: PartialOrd<T>impl<T> PartialOrd for [T; 27] where T: PartialOrd<T>impl<T> PartialOrd for [T; 28] where T: PartialOrd<T>impl<T> PartialOrd for [T; 29] where T: PartialOrd<T>impl<T> PartialOrd for [T; 30] where T: PartialOrd<T>impl<T> PartialOrd for [T; 31] where T: PartialOrd<T>impl<T> PartialOrd for [T; 32] where T: PartialOrd<T>impl<T> PartialOrd for [T] where T: PartialOrd<T>impl PartialOrd for strimpl PartialOrd for Errorimpl<A> PartialOrd for (A,) where A: PartialEq<A> + PartialOrd<A>impl<A, B> PartialOrd for (A, B) where B: PartialEq<B> + PartialOrd<B>, A: PartialEq<A> + PartialOrd<A>impl<A, B, C> PartialOrd for (A, B, C) where B: PartialEq<B> + PartialOrd<B>, C: PartialEq<C> + PartialOrd<C>, A: PartialEq<A> + PartialOrd<A>impl<A, B, C, D> PartialOrd for (A, B, C, D) where C: PartialEq<C> + PartialOrd<C>, D: PartialEq<D> + PartialOrd<D>, A: PartialEq<A> + PartialOrd<A>, B: PartialEq<B> + PartialOrd<B>impl<A, B, C, D, E> PartialOrd for (A, B, C, D, E) where B: PartialEq<B> + PartialOrd<B>, E: PartialEq<E> + PartialOrd<E>, D: PartialEq<D> + PartialOrd<D>, A: PartialEq<A> + PartialOrd<A>, C: PartialEq<C> + PartialOrd<C>impl<A, B, C, D, E, F> PartialOrd for (A, B, C, D, E, F) where D: PartialEq<D> + PartialOrd<D>, E: PartialEq<E> + PartialOrd<E>, B: PartialEq<B> + PartialOrd<B>, A: PartialEq<A> + PartialOrd<A>, C: PartialEq<C> + PartialOrd<C>, F: PartialEq<F> + PartialOrd<F>impl<A, B, C, D, E, F, G> PartialOrd for (A, B, C, D, E, F, G) where E: PartialEq<E> + PartialOrd<E>, G: PartialEq<G> + PartialOrd<G>, F: PartialEq<F> + PartialOrd<F>, B: PartialEq<B> + PartialOrd<B>, D: PartialEq<D> + PartialOrd<D>, A: PartialEq<A> + PartialOrd<A>, C: PartialEq<C> + PartialOrd<C>impl<A, B, C, D, E, F, G, H> PartialOrd for (A, B, C, D, E, F, G, H) where C: PartialEq<C> + PartialOrd<C>, D: PartialEq<D> + PartialOrd<D>, B: PartialEq<B> + PartialOrd<B>, F: PartialEq<F> + PartialOrd<F>, H: PartialEq<H> + PartialOrd<H>, E: PartialEq<E> + PartialOrd<E>, G: PartialEq<G> + PartialOrd<G>, A: PartialEq<A> + PartialOrd<A>impl<A, B, C, D, E, F, G, H, I> PartialOrd for (A, B, C, D, E, F, G, H, I) where F: PartialEq<F> + PartialOrd<F>, D: PartialEq<D> + PartialOrd<D>, E: PartialEq<E> + PartialOrd<E>, B: PartialEq<B> + PartialOrd<B>, C: PartialEq<C> + PartialOrd<C>, I: PartialEq<I> + PartialOrd<I>, A: PartialEq<A> + PartialOrd<A>, G: PartialEq<G> + PartialOrd<G>, H: PartialEq<H> + PartialOrd<H>impl<A, B, C, D, E, F, G, H, I, J> PartialOrd for (A, B, C, D, E, F, G, H, I, J) where J: PartialEq<J> + PartialOrd<J>, D: PartialEq<D> + PartialOrd<D>, F: PartialEq<F> + PartialOrd<F>, E: PartialEq<E> + PartialOrd<E>, H: PartialEq<H> + PartialOrd<H>, G: PartialEq<G> + PartialOrd<G>, C: PartialEq<C> + PartialOrd<C>, I: PartialEq<I> + PartialOrd<I>, A: PartialEq<A> + PartialOrd<A>, B: PartialEq<B> + PartialOrd<B>impl<A, B, C, D, E, F, G, H, I, J, K> PartialOrd for (A, B, C, D, E, F, G, H, I, J, K) where D: PartialEq<D> + PartialOrd<D>, A: PartialEq<A> + PartialOrd<A>, H: PartialEq<H> + PartialOrd<H>, F: PartialEq<F> + PartialOrd<F>, G: PartialEq<G> + PartialOrd<G>, J: PartialEq<J> + PartialOrd<J>, C: PartialEq<C> + PartialOrd<C>, I: PartialEq<I> + PartialOrd<I>, K: PartialEq<K> + PartialOrd<K>, B: PartialEq<B> + PartialOrd<B>, E: PartialEq<E> + PartialOrd<E>impl<A, B, C, D, E, F, G, H, I, J, K, L> PartialOrd for (A, B, C, D, E, F, G, H, I, J, K, L) where G: PartialEq<G> + PartialOrd<G>, I: PartialEq<I> + PartialOrd<I>, D: PartialEq<D> + PartialOrd<D>, H: PartialEq<H> + PartialOrd<H>, A: PartialEq<A> + PartialOrd<A>, J: PartialEq<J> + PartialOrd<J>, F: PartialEq<F> + PartialOrd<F>, B: PartialEq<B> + PartialOrd<B>, C: PartialEq<C> + PartialOrd<C>, K: PartialEq<K> + PartialOrd<K>, E: PartialEq<E> + PartialOrd<E>, L: PartialEq<L> + PartialOrd<L>impl<K, V> PartialOrd for BTreeMap<K, V> where V: PartialOrd<V>, K: PartialOrd<K>impl<T> PartialOrd for BTreeSet<T> where T: PartialOrd<T>impl<E> PartialOrd for EnumSet<E> where E: PartialOrd<E>impl<T> PartialOrd for Arc<T> where T: PartialOrd<T> + ?Sized