Trait lattices::NaiveLatticeOrd

pub trait NaiveLatticeOrd<Rhs = Self>: Sealed<Rhs>
where
    Self: Clone + Merge<Rhs> + Sized,
    Rhs: Clone + Merge<Self>,
{
    // Provided method
    fn naive_cmp(&self, other: &Rhs) -> Option<Ordering> { ... }
}

Naive lattice compare, based on the Merge::merge function.

Provided Methods

fn naive_cmp(&self, other: &Rhs) -> Option<Ordering>

Naive compare based on the Merge::merge method. This method can be very inefficient; use PartialOrd::partial_cmp instead.

This method should not be overridden.

Object Safety

This trait is not object safe.

Implementors

impl<This, Other> NaiveLatticeOrd<Other> for This

where Self: Clone + Merge<Other>, Other: Clone + Merge<Self>,