Trait LowerSemilattice 

pub trait LowerSemilattice: PartialOrd {
    // Required method
    fn greatest_lower_bound(&self, other: &Self) -> Self;
}

A partial order in which for any two elements there exists a unique greatest lower bound.

Required Methods

fn greatest_lower_bound(&self, other: &Self) -> Self

Returns the greatest lower bound of self and other, i.e., the unique greatest element in the type which is less than or equal to both self and other.

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.

Implementations on Foreign Types

impl LowerSemilattice for i8

fn greatest_lower_bound(&self, other: &Self) -> Self

impl LowerSemilattice for i16

fn greatest_lower_bound(&self, other: &Self) -> Self

impl LowerSemilattice for i32

fn greatest_lower_bound(&self, other: &Self) -> Self

impl LowerSemilattice for i64

fn greatest_lower_bound(&self, other: &Self) -> Self

impl LowerSemilattice for i128

fn greatest_lower_bound(&self, other: &Self) -> Self

impl LowerSemilattice for isize

fn greatest_lower_bound(&self, other: &Self) -> Self

impl LowerSemilattice for u8

fn greatest_lower_bound(&self, other: &Self) -> Self

impl LowerSemilattice for u16

fn greatest_lower_bound(&self, other: &Self) -> Self

impl LowerSemilattice for u32

fn greatest_lower_bound(&self, other: &Self) -> Self

impl LowerSemilattice for u64

fn greatest_lower_bound(&self, other: &Self) -> Self

impl LowerSemilattice for u128

fn greatest_lower_bound(&self, other: &Self) -> Self

impl LowerSemilattice for usize

fn greatest_lower_bound(&self, other: &Self) -> Self

impl<const N: usize, T> LowerSemilattice for [T; N]

where T: LowerSemilattice + Clone,

fn greatest_lower_bound(&self, other: &Self) -> Self

Implementors