BoundedUpperSemilattice

order_theory

Trait BoundedUpperSemilattice 

Source 
pub trait BoundedUpperSemilattice: UpperSemilattice + GreatestElement {
    // Provided method
    fn least_upper_bound_slice(values: &[Self]) -> Self { ... }
}
Expand description

An UpperSemilattice with a greatest element.

This trait is automatically implemented on all types which qualify.

Provided Methods§

Source

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

Computes the least upper bound of all values in the slice. For the empty slice, this is the greatest 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§