BoundedLattice

Trait BoundedLattice 

Source
pub trait BoundedLattice: BoundedLowerSemilattice + BoundedUpperSemilattice { }
Expand description

A bounded lattice is a type which is both a BoundedLowerSemilattice and a BoundedUpperSemilattice. Every bounded lattice is also a regular lattice.

This trait is automatically implemented on all types which qualify.

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§