Enum Ordering 

pub enum Ordering {
    Less,
    Equal,
    Greater,
}

A Lean 4-style ordering value (mirrors Ordering in the kernel env).

Variants

Less

First < second.

Equal

First == second.

Greater

First > second.

Implementations

impl Ordering

pub fn reverse(self) -> Self

Reverse the ordering: Less ↔ Greater.

pub fn then(self, other: Ordering) -> Self

Lexicographic combinator: if self == Equal, return other.

pub fn then_with<F: FnOnce() -> Ordering>(self, f: F) -> Self

then with a lazily-evaluated second comparison.

pub fn is_lt(self) -> bool

true if Less.

pub fn is_eq(self) -> bool

true if Equal.

pub fn is_gt(self) -> bool

true if Greater.

pub fn is_le(self) -> bool

true if Less or Equal.

pub fn is_ge(self) -> bool

true if Greater or Equal.

pub fn to_signum(self) -> i32

Convert to a signed integer: -1, 0, or 1.

pub fn from_signum(n: i32) -> Self

Construct from a signum integer.

Negative → Less, zero → Equal, positive → Greater.

pub fn from_std(o: Ordering) -> Self

Convert from std::cmp::Ordering.

pub fn to_std(self) -> Ordering

Convert to std::cmp::Ordering.

Trait Implementations

impl Clone for Ordering

fn clone(&self) -> Ordering

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Ordering

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Ordering

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for Ordering

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Ordering

fn eq(&self, other: &Ordering) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Ordering

impl Eq for Ordering

impl StructuralPartialEq for Ordering