Implement TotalOrder for totally ordered things
//! 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.
