Implement TotalOrder for totally ordered things (#449)

frankmcsherry · web-flow · commit 3cf154011cfc · 2022-02-04T08:27:24.000-05:00
diff --git a/timely/src/progress/frontier.rs b/timely/src/progress/frontier.rs
@@ -1,7 +1,7 @@
 //! Tracks minimal sets of mutually incomparable elements of a partial order.
 
 use crate::progress::ChangeBatch;
-use crate::order::PartialOrder;
+use crate::order::{PartialOrder, TotalOrder};
 
 /// A set of mutually incomparable elements.
 ///
@@ -227,6 +227,8 @@ impl<T: Clone> Clone for Antichain<T> {
     }
 }
 
+impl<T: TotalOrder> TotalOrder for Antichain<T> { }
+
 impl<T: PartialOrder> From<Vec<T>> for Antichain<T> {
     fn from(vec: Vec<T>) -> Self {
         // TODO: We could reuse `vec` with some care.

Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`//! Tracks minimal sets of mutually incomparable elements of a partial order.`
`2`	`2`
`3`	`3`	`use crate::progress::ChangeBatch;`
`4`		`-use crate::order::PartialOrder;`
	`4`	`+use crate::order::{PartialOrder, TotalOrder};`
`5`	`5`
`6`	`6`	`/// A set of mutually incomparable elements.`
`7`	`7`	`///`
`@@ -227,6 +227,8 @@ impl<T: Clone> Clone for Antichain<T> {`
`227`	`227`	`}`
`228`	`228`	`}`
`229`	`229`
	`230`	`+impl<T: TotalOrder> TotalOrder for Antichain<T> { }`
	`231`	`+`
`230`	`232`	`impl<T: PartialOrder> From<Vec<T>> for Antichain<T> {`
`231`	`233`	`fn from(vec: Vec<T>) -> Self {`
`232`	`234`	// TODO: We could reuse `vec` with some care.