Trait pergola::LatticeDef

pub trait LatticeDef {
    type T;
    fn unit() -> Self::T;
    fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T;
    fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>;
}

Implement this trait on a (typically vacuous) type to define a specific lattice as a type-with-some-choice-of-operators.

Associated Types

type T

Loading content...

Required methods

fn unit() -> Self::T

fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

Loading content...

Implementors

Loading content...