BoundedLowerSemilattice

order_theory

Trait BoundedLowerSemilattice 

Source 
pub trait BoundedLowerSemilattice: LowerSemilattice + LeastElement {
    // Provided method
    fn greatest_lower_bound_slice(values: &[Self]) -> Self { ... }
}
Expand description

A LowerSemilattice with a least element.

This trait is automatically implemented on all types which qualify.

Provided Methods§

Source

fn greatest_lower_bound_slice(values: &[Self]) -> Self

Computes the greatest lower bound of all values in the slice. For the empty slice, this is the least element.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§