Trait gf::support::lattice::Join

pub trait Join: Bottom + Clone + Eq + Sized + Top {
    fn join(a: &Self, b: &Self) -> Self;

    fn join_cmp(a: &Self, b: &Self) -> Option<Ordering> { ... }
}

A join semilattice that has a bottom and a top element.

Blanket implementations

A blanket implementation is provided for 2- and 3-tuples of Join implementors.

Required methods

fn join(a: &Self, b: &Self) -> Self

Return a ⊔ b.

Loading content...

Provided methods

fn join_cmp(a: &Self, b: &Self) -> Option<Ordering>

Compare a and b using the induced partial order ⊑.

The default implementation uses join to compare the elements.

Loading content...

Implementations on Foreign Types

impl<A, B> Join for (A, B) where
    A: Join,
    B: Join, 

fn join(a: &Self, b: &Self) -> Self

impl<A, B, C> Join for (A, B, C) where
    A: Join,
    B: Join,
    C: Join, 

fn join(a: &Self, b: &Self) -> Self

Loading content...

Implementors

impl<K: Clone + Hash + Eq, V: Clone + Eq + Join> Join for HashLattice<K, V>

fn join(a: &Self, b: &Self) -> Self

impl<L: Meet> Join for Flip<L>

fn join(a: &Self, b: &Self) -> Self

fn join_cmp(a: &Self, b: &Self) -> Option<Ordering>

impl<T: Clone + Eq + Join> Join for VarState<T>

fn join(a: &Self, b: &Self) -> Self

fn join_cmp(a: &Self, b: &Self) -> Option<Ordering>

impl<T: Clone + Eq + PartialOrd> Join for PosetLattice<T>

fn join(a: &Self, b: &Self) -> Self

fn join_cmp(a: &Self, b: &Self) -> Option<Ordering>

impl<T: Clone + Eq> Join for FlatLattice<T>

fn join(a: &Self, b: &Self) -> Self

fn join_cmp(a: &Self, b: &Self) -> Option<Ordering>

Loading content...