Skip to main content

BoundedLattice

mz_compute_types::plan::interpret

Trait BoundedLattice 

Source 
pub trait BoundedLattice: Lattice {
    // Required methods
    fn top() -> Self;
    fn bottom() -> Self;
}
Expand description

A lattice with existing top and bottom elements.

Required Methods§

Source

fn top() -> Self

The top element of this lattice (represents the most general approximation).

Source

fn bottom() -> Self

The bottom element of this lattice (represents the most constrained approximation).

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§