[−][src]Trait theon::Lattice

pub trait Lattice: PartialOrd + Sized {
    fn meet(&self, other: &Self) -> Self;

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

    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_ordered_pair<'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> { ... }
}

Required methods

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

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

Loading content...

Provided methods

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_ordered_pair<'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>

Loading content...

Implementors

impl<T> Lattice for T where
    T: Copy + PartialOrd + Sized, [src]

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

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

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

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

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

Loading content...