Trait alga::general::Lattice[−][src]

pub trait Lattice: MeetSemilattice + JoinSemilattice + PartialOrd {
    fn meet_join(&self, other: &Self) -> (Self, Self) { ... }

    fn partial_min<'a>(&'a self, other: &'a Self) -> Option<&'a Self> { ... }

    fn partial_max<'a>(&'a self, other: &'a Self) -> Option<&'a Self> { ... }

    fn partial_sort2<'a>(
        &'a self, 
        other: &'a Self
    ) -> Option<(&'a Self, &'a Self)> { ... }

    fn partial_clamp<'a>(
        &'a self, 
        min: &'a Self, 
        max: &'a Self
    ) -> Option<&'a Self> { ... }
}

Partially orderable sets where every two elements have a supremum and infimum.

Provided methods

fn meet_join(&self, other: &Self) -> (Self, Self)[src]

Returns the infimum and the supremum simultaneously.

fn partial_min<'a>(&'a self, other: &'a Self) -> Option<&'a Self>[src]

Return the minimum of self and other if they are comparable.

fn partial_max<'a>(&'a self, other: &'a Self) -> Option<&'a Self>[src]

Return the maximum of self and other if they are comparable.

fn partial_sort2<'a>(&'a self, other: &'a Self) -> Option<(&'a Self, &'a Self)>[src]

Sorts two values in increasing order using a partial ordering.

fn partial_clamp<'a>(&'a self, min: &'a Self, max: &'a Self) -> Option<&'a Self>[src]

Clamp value between min and max. Returns None if value is not comparable to min or max.

Loading content...

Implementations on Foreign Types

impl Lattice for u8[src]

impl Lattice for u16[src]

impl Lattice for u32[src]

impl Lattice for u64[src]

impl Lattice for u128[src]

impl Lattice for usize[src]

impl Lattice for i8[src]

impl Lattice for i16[src]

impl Lattice for i32[src]

impl Lattice for i64[src]

impl Lattice for i128[src]

impl Lattice for isize[src]

impl Lattice for f32[src]

impl Lattice for f64[src]

Loading content...

Implementors

impl<O: Operator> Lattice for Id<O>[src]

Loading content...