Trait MeetSemilattice

pub trait MeetSemilattice: Sized {
    // Required method
    fn meet(&self, other: &Self) -> Self;
}

A set where every two elements have an infimum (i.e. greatest lower bound).

Required Methods

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

Returns the meet (aka. infimum) of two values.

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 MeetSemilattice for f32

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

impl MeetSemilattice for f64

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

impl MeetSemilattice for i8

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

impl MeetSemilattice for i16

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

impl MeetSemilattice for i32

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

impl MeetSemilattice for i64

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

impl MeetSemilattice for i128

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

impl MeetSemilattice for isize

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

impl MeetSemilattice for u8

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

impl MeetSemilattice for u16

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

impl MeetSemilattice for u32

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

impl MeetSemilattice for u64

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

impl MeetSemilattice for u128

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

impl MeetSemilattice for usize

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

impl<N: MeetSemilattice> MeetSemilattice for Complex<N>

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

Implementors

impl<O: Operator> MeetSemilattice for Id<O>