timely::order

Trait TotalOrder

Source
pub trait TotalOrder: PartialOrder { }
Expand description

A type that is totally ordered.

This trait is a “carrier trait”, in the sense that it adds no additional functionality over PartialOrder, but instead indicates that the less_than and less_equal methods are total, meaning that x.less_than(&y) is equivalent to !y.less_equal(&x).

This trait is distinct from Rust’s Ord trait, because several implementors of PartialOrd also implement Ord for efficient canonicalization, deduplication, and other sanity-maintaining operations.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

Source§

impl TotalOrder for i8

Source§

impl TotalOrder for i16

Source§

impl TotalOrder for i32

Source§

impl TotalOrder for i64

Source§

impl TotalOrder for i128

Source§

impl TotalOrder for isize

Source§

impl TotalOrder for u8

Source§

impl TotalOrder for u16

Source§

impl TotalOrder for u32

Source§

impl TotalOrder for u64

Source§

impl TotalOrder for u128

Source§

impl TotalOrder for ()

Source§

impl TotalOrder for usize

Source§

impl TotalOrder for Duration

Source§

impl<T1, T2> TotalOrder for (T1, T2)
where T1: TotalOrder, T2: TotalOrder,

Implementors§

Source§

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

Source§

impl<T1, T2> TotalOrder for Product<T1, T2>
where T1: Empty, T2: TotalOrder,

Source§

impl<T: TotalOrder> TotalOrder for Antichain<T>