Trait timely::order::PartialOrder

pub trait PartialOrder: Eq {
    fn less_equal(&self, other: &Self) -> bool;

    fn less_than(&self, other: &Self) -> bool { ... }
}

A type that is partially ordered.

This trait is distinct from Rust’s PartialOrd trait, because the implementation of that trait precludes a distinct Ord implementation. We need an independent trait if we want to have a partially ordered type that can also be sorted.

Required methods

fn less_equal(&self, other: &Self) -> bool

Returns true iff one element is less than or equal to the other.

Loading content...

Provided methods

fn less_than(&self, other: &Self) -> bool

Returns true iff one element is strictly less than the other.

Loading content...

Implementations on Foreign Types

impl PartialOrder for u8

fn less_than(&self, other: &Self) -> bool

fn less_equal(&self, other: &Self) -> bool

impl PartialOrder for u16

fn less_than(&self, other: &Self) -> bool

fn less_equal(&self, other: &Self) -> bool

impl PartialOrder for u32

fn less_than(&self, other: &Self) -> bool

fn less_equal(&self, other: &Self) -> bool

impl PartialOrder for u64

fn less_than(&self, other: &Self) -> bool

fn less_equal(&self, other: &Self) -> bool

impl PartialOrder for u128

fn less_than(&self, other: &Self) -> bool

fn less_equal(&self, other: &Self) -> bool

impl PartialOrder for usize

fn less_than(&self, other: &Self) -> bool

fn less_equal(&self, other: &Self) -> bool

impl PartialOrder for i8

fn less_than(&self, other: &Self) -> bool

fn less_equal(&self, other: &Self) -> bool

impl PartialOrder for i16

fn less_than(&self, other: &Self) -> bool

fn less_equal(&self, other: &Self) -> bool

impl PartialOrder for i32

fn less_than(&self, other: &Self) -> bool

fn less_equal(&self, other: &Self) -> bool

impl PartialOrder for i64

fn less_than(&self, other: &Self) -> bool

fn less_equal(&self, other: &Self) -> bool

impl PartialOrder for i128

fn less_than(&self, other: &Self) -> bool

fn less_equal(&self, other: &Self) -> bool

impl PartialOrder for isize

fn less_than(&self, other: &Self) -> bool

fn less_equal(&self, other: &Self) -> bool

impl PartialOrder for ()

fn less_than(&self, other: &Self) -> bool

fn less_equal(&self, other: &Self) -> bool

impl PartialOrder for Duration

fn less_than(&self, other: &Self) -> bool

fn less_equal(&self, other: &Self) -> bool

Loading content...

Implementors

impl<'a, T: PartialOrder> PartialOrder for AntichainRef<'a, T>

fn less_equal(&self, other: &Self) -> bool

impl<T: PartialOrder> PartialOrder for Antichain<T>

fn less_equal(&self, other: &Self) -> bool

impl<T: Timestamp> PartialOrder for Capability<T>

fn less_equal(&self, other: &Self) -> bool

impl<TOuter: PartialOrder, TInner: PartialOrder> PartialOrder for Product<TOuter, TInner>

fn less_equal(&self, other: &Self) -> bool

Loading content...