[−][src]Trait timely::order::TotalOrder

pub trait TotalOrder: PartialOrder { }

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.