Trait alga::general::JoinSemilattice

pub trait JoinSemilattice: Sized {
    fn join(&self, other: &Self) -> Self;
}

A set where every two elements have a suppremum (i.e. smallest upper bound).

Required Methods

fn join(&self, other: &Self) -> Self

Returns the join (aka. supremum) of two values.

Implementors

• impl<O: Operator> JoinSemilattice for Id<O>
• impl JoinSemilattice for u8
• impl JoinSemilattice for u16
• impl JoinSemilattice for u32
• impl JoinSemilattice for u64
• impl JoinSemilattice for i8
• impl JoinSemilattice for i16
• impl JoinSemilattice for i32
• impl JoinSemilattice for i64
• impl JoinSemilattice for f32
• impl JoinSemilattice for f64