user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Make note of Ord's derive ordering

Browse source 
Fixes #26620
This commit is contained in:
Steve Klabnik 2015-06-30 18:46:31 -04:00
parent fdf219dd42
commit 8b81f76593
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/libcore/cmp.rs
View file

@ -166,6 +166,8 @@ impl Ordering {
/// ///
/// - total and antisymmetric: exactly one of `a < b`, `a == b` or `a > b` is true; and /// - total and antisymmetric: exactly one of `a < b`, `a == b` or `a > b` is true; and
/// - transitive, `a < b` and `b < c` implies `a < c`. The same must hold for both `==` and `>`. /// - transitive, `a < b` and `b < c` implies `a < c`. The same must hold for both `==` and `>`.
///
/// When this trait is `derive`d, it produces a lexicographic ordering.
#[stable(feature = "rust1", since = "1.0.0")] #[stable(feature = "rust1", since = "1.0.0")]
pub trait Ord: Eq + PartialOrd<Self> { pub trait Ord: Eq + PartialOrd<Self> {
/// This method returns an `Ordering` between `self` and `other`. /// This method returns an `Ordering` between `self` and `other`.