[][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]

Loading content...