Trait Lattice 

pub trait Lattice: PartialOrd + Sized {
    // Required methods
    fn meet_mut(&mut self, other: Self) -> bool;
    fn join_mut(&mut self, other: Self) -> bool;

    // Provided methods
    fn meet(self, other: Self) -> Self { ... }
    fn join(self, other: Self) -> Self { ... }
}

A Lattice is a PartialOrd where each pair of elements has a least upper bound (join) and a greatest lower bound (meet)

Required Methods

fn meet_mut(&mut self, other: Self) -> bool

ensures self is the join of self and other

Returns true if self was changed.

fn join_mut(&mut self, other: Self) -> bool

ensures self is the meet of self and other.

Returns true if self was changed.

Provided Methods

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

The greatest lower bound of two elements. meet(x, y) is the biggest value z s.t. z <= x and z <= y

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

The least upper bound of two elements. join(x, y) is the smallest value z s.t. z >= x and z >= y.

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 Lattice for bool

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

impl Lattice for i8

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

impl Lattice for i16

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

impl Lattice for i32

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

impl Lattice for i64

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

impl Lattice for i128

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

impl Lattice for isize

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

impl Lattice for u8

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

impl Lattice for u16

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

impl Lattice for u32

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

impl Lattice for u64

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

impl Lattice for u128

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

impl Lattice for ()

fn meet_mut(&mut self, _other: Self) -> bool

fn join_mut(&mut self, _other: Self) -> bool

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

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

impl Lattice for usize

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

impl<T0> Lattice for (T0,)

where (T0,): Ord,

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

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

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

impl<T0, T1> Lattice for (T0, T1)

where (T0, T1): Ord,

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

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

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

impl<T0, T1, T2> Lattice for (T0, T1, T2)

where (T0, T1, T2): Ord,

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

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

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

impl<T0, T1, T2, T3> Lattice for (T0, T1, T2, T3)

where (T0, T1, T2, T3): Ord,

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

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

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

impl<T0, T1, T2, T3, T4> Lattice for (T0, T1, T2, T3, T4)

where (T0, T1, T2, T3, T4): Ord,

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

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

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

impl<T0, T1, T2, T3, T4, T5> Lattice for (T0, T1, T2, T3, T4, T5)

where (T0, T1, T2, T3, T4, T5): Ord,

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

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

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

impl<T0, T1, T2, T3, T4, T5, T6> Lattice for (T0, T1, T2, T3, T4, T5, T6)

where (T0, T1, T2, T3, T4, T5, T6): Ord,

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

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

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

impl<T0, T1, T2, T3, T4, T5, T6, T7> Lattice for (T0, T1, T2, T3, T4, T5, T6, T7)

where (T0, T1, T2, T3, T4, T5, T6, T7): Ord,

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

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

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

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8> Lattice for (T0, T1, T2, T3, T4, T5, T6, T7, T8)

where (T0, T1, T2, T3, T4, T5, T6, T7, T8): Ord,

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

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

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

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> Lattice for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)

where (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9): Ord,

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

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

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

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> Lattice for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)

where (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10): Ord,

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

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

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

impl<T: Lattice + Clone> Lattice for Rc<T>

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

impl<T: Lattice + Clone> Lattice for Arc<T>

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

impl<T: Lattice + Sized> Lattice for Box<T>

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

impl<T: Lattice> Lattice for Option<T>

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

impl<T: Lattice> Lattice for Reverse<T>

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

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

fn meet_mut(&mut self, other: Self) -> bool

fn join_mut(&mut self, other: Self) -> bool

Implementors

impl<T0: Lattice> Lattice for Product<(T0,)>

impl<T0: Lattice, T1: Lattice> Lattice for Product<(T0, T1)>

impl<T0: Lattice, T1: Lattice, T2: Lattice> Lattice for Product<(T0, T1, T2)>

impl<T0: Lattice, T1: Lattice, T2: Lattice, T3: Lattice> Lattice for Product<(T0, T1, T2, T3)>

impl<T0: Lattice, T1: Lattice, T2: Lattice, T3: Lattice, T4: Lattice> Lattice for Product<(T0, T1, T2, T3, T4)>

impl<T0: Lattice, T1: Lattice, T2: Lattice, T3: Lattice, T4: Lattice, T5: Lattice> Lattice for Product<(T0, T1, T2, T3, T4, T5)>

impl<T0: Lattice, T1: Lattice, T2: Lattice, T3: Lattice, T4: Lattice, T5: Lattice, T6: Lattice> Lattice for Product<(T0, T1, T2, T3, T4, T5, T6)>

impl<T0: Lattice, T1: Lattice, T2: Lattice, T3: Lattice, T4: Lattice, T5: Lattice, T6: Lattice, T7: Lattice> Lattice for Product<(T0, T1, T2, T3, T4, T5, T6, T7)>

impl<T0: Lattice, T1: Lattice, T2: Lattice, T3: Lattice, T4: Lattice, T5: Lattice, T6: Lattice, T7: Lattice, T8: Lattice> Lattice for Product<(T0, T1, T2, T3, T4, T5, T6, T7, T8)>

impl<T0: Lattice, T1: Lattice, T2: Lattice, T3: Lattice, T4: Lattice, T5: Lattice, T6: Lattice, T7: Lattice, T8: Lattice, T9: Lattice> Lattice for Product<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)>

impl<T0: Lattice, T1: Lattice, T2: Lattice, T3: Lattice, T4: Lattice, T5: Lattice, T6: Lattice, T7: Lattice, T8: Lattice, T9: Lattice, T10: Lattice> Lattice for Product<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)>

impl<T: Eq + Hash + Ord> Lattice for Set<T>

impl<T: Ord> Lattice for OrdLattice<T>

impl<T: PartialEq> Lattice for ConstPropagation<T>

impl<T: Lattice> Lattice for Dual<T>

impl<const BOUND: usize, T: PartialEq + Eq + Hash + Ord> Lattice for BoundedSet<BOUND, T>

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