Trait lattices::Lattice

source · 
pub trait Lattice:
    Sized
    + Merge<Self>
    + LatticeOrd
    + NaiveLatticeOrd
    + IsBot
    + IsTop
    + Sealed { }
Expand description

Alias trait for lattice types.

Object Safety§

This trait is not object safe.

Implementors§

source§

impl<T> Lattice for T
where T: Sized + Merge<Self> + LatticeOrd + NaiveLatticeOrd + IsBot + IsTop,