Trait UpperSemilattice 

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

A partial order in which for any two elements there exists a unique least upper bound.

Required Methods

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

Returns the least upper bound of self and other, i.e., the unique least element in the type which is greater 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 UpperSemilattice for i8

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

impl UpperSemilattice for i16

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

impl UpperSemilattice for i32

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

impl UpperSemilattice for i64

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

impl UpperSemilattice for i128

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

impl UpperSemilattice for isize

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

impl UpperSemilattice for u8

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

impl UpperSemilattice for u16

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

impl UpperSemilattice for u32

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

impl UpperSemilattice for u64

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

impl UpperSemilattice for u128

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

impl UpperSemilattice for usize

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

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

where T: UpperSemilattice + Clone,

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

Implementors