LatticeOrder

building_blocks::prelude

Trait LatticeOrder 

Source 
pub trait LatticeOrder {
    // Required methods
    fn join(self, other: Self) -> Self;
    fn meet(self, other: Self) -> Self;
}

Required Methods§

Source

fn join(self, other: Self) -> Self

Component-wise maximum.

Source

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

Component-wise minimum.

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§