Trait BoundedLattice

pub trait BoundedLattice: Lattice {
    // Required methods
    fn bottom() -> Self;
    fn top() -> Self;
}

Required Methods

fn bottom() -> Self

fn top() -> Self

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl BoundedLattice for bool

fn bottom() -> Self

fn top() -> Self

impl BoundedLattice for i8

fn bottom() -> Self

fn top() -> Self

impl BoundedLattice for i16

fn bottom() -> Self

fn top() -> Self

impl BoundedLattice for i32

fn bottom() -> Self

fn top() -> Self

impl BoundedLattice for i64

fn bottom() -> Self

fn top() -> Self

impl BoundedLattice for i128

fn bottom() -> Self

fn top() -> Self

impl BoundedLattice for isize

fn bottom() -> Self

fn top() -> Self

impl BoundedLattice for u8

fn bottom() -> Self

fn top() -> Self

impl BoundedLattice for u16

fn bottom() -> Self

fn top() -> Self

impl BoundedLattice for u32

fn bottom() -> Self

fn top() -> Self

impl BoundedLattice for u64

fn bottom() -> Self

fn top() -> Self

impl BoundedLattice for u128

fn bottom() -> Self

fn top() -> Self

impl BoundedLattice for ()

fn bottom() -> Self

fn top() -> Self

impl BoundedLattice for usize

fn bottom() -> Self

fn top() -> Self

impl<T0> BoundedLattice for (T0,)

where T0: BoundedLattice + Ord,

fn bottom() -> Self

fn top() -> Self

impl<T0, T1> BoundedLattice for (T0, T1)

where T0: BoundedLattice + Ord, T1: BoundedLattice + Ord,

fn bottom() -> Self

fn top() -> Self

impl<T0, T1, T2> BoundedLattice for (T0, T1, T2)

where T0: BoundedLattice + Ord, T1: BoundedLattice + Ord, T2: BoundedLattice + Ord,

fn bottom() -> Self

fn top() -> Self

impl<T0, T1, T2, T3> BoundedLattice for (T0, T1, T2, T3)

where T0: BoundedLattice + Ord, T1: BoundedLattice + Ord, T2: BoundedLattice + Ord, T3: BoundedLattice + Ord,

fn bottom() -> Self

fn top() -> Self

impl<T0, T1, T2, T3, T4> BoundedLattice for (T0, T1, T2, T3, T4)

where T0: BoundedLattice + Ord, T1: BoundedLattice + Ord, T2: BoundedLattice + Ord, T3: BoundedLattice + Ord, T4: BoundedLattice + Ord,

fn bottom() -> Self

fn top() -> Self

impl<T0, T1, T2, T3, T4, T5> BoundedLattice for (T0, T1, T2, T3, T4, T5)

where T0: BoundedLattice + Ord, T1: BoundedLattice + Ord, T2: BoundedLattice + Ord, T3: BoundedLattice + Ord, T4: BoundedLattice + Ord, T5: BoundedLattice + Ord,

fn bottom() -> Self

fn top() -> Self

impl<T0, T1, T2, T3, T4, T5, T6> BoundedLattice for (T0, T1, T2, T3, T4, T5, T6)

where T0: BoundedLattice + Ord, T1: BoundedLattice + Ord, T2: BoundedLattice + Ord, T3: BoundedLattice + Ord, T4: BoundedLattice + Ord, T5: BoundedLattice + Ord, T6: BoundedLattice + Ord,

fn bottom() -> Self

fn top() -> Self

impl<T0, T1, T2, T3, T4, T5, T6, T7> BoundedLattice for (T0, T1, T2, T3, T4, T5, T6, T7)

where T0: BoundedLattice + Ord, T1: BoundedLattice + Ord, T2: BoundedLattice + Ord, T3: BoundedLattice + Ord, T4: BoundedLattice + Ord, T5: BoundedLattice + Ord, T6: BoundedLattice + Ord, T7: BoundedLattice + Ord,

fn bottom() -> Self

fn top() -> Self

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8> BoundedLattice for (T0, T1, T2, T3, T4, T5, T6, T7, T8)

where T0: BoundedLattice + Ord, T1: BoundedLattice + Ord, T2: BoundedLattice + Ord, T3: BoundedLattice + Ord, T4: BoundedLattice + Ord, T5: BoundedLattice + Ord, T6: BoundedLattice + Ord, T7: BoundedLattice + Ord, T8: BoundedLattice + Ord,

fn bottom() -> Self

fn top() -> Self

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> BoundedLattice for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)

where T0: BoundedLattice + Ord, T1: BoundedLattice + Ord, T2: BoundedLattice + Ord, T3: BoundedLattice + Ord, T4: BoundedLattice + Ord, T5: BoundedLattice + Ord, T6: BoundedLattice + Ord, T7: BoundedLattice + Ord, T8: BoundedLattice + Ord, T9: BoundedLattice + Ord,

fn bottom() -> Self

fn top() -> Self

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> BoundedLattice for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)

where T0: BoundedLattice + Ord, T1: BoundedLattice + Ord, T2: BoundedLattice + Ord, T3: BoundedLattice + Ord, T4: BoundedLattice + Ord, T5: BoundedLattice + Ord, T6: BoundedLattice + Ord, T7: BoundedLattice + Ord, T8: BoundedLattice + Ord, T9: BoundedLattice + Ord, T10: BoundedLattice + Ord,

fn bottom() -> Self

fn top() -> Self

impl<T: BoundedLattice + Eq> BoundedLattice for Option<T>

where Option<T>: Lattice,

fn bottom() -> Self

fn top() -> Self

Implementors

impl<T0: BoundedLattice> BoundedLattice for Product<(T0,)>

where Product<(T0,)>: Lattice,

impl<T0: BoundedLattice, T1: BoundedLattice> BoundedLattice for Product<(T0, T1)>

where Product<(T0, T1)>: Lattice,

impl<T0: BoundedLattice, T1: BoundedLattice, T2: BoundedLattice> BoundedLattice for Product<(T0, T1, T2)>

where Product<(T0, T1, T2)>: Lattice,

impl<T0: BoundedLattice, T1: BoundedLattice, T2: BoundedLattice, T3: BoundedLattice> BoundedLattice for Product<(T0, T1, T2, T3)>

where Product<(T0, T1, T2, T3)>: Lattice,

impl<T0: BoundedLattice, T1: BoundedLattice, T2: BoundedLattice, T3: BoundedLattice, T4: BoundedLattice> BoundedLattice for Product<(T0, T1, T2, T3, T4)>

where Product<(T0, T1, T2, T3, T4)>: Lattice,

impl<T0: BoundedLattice, T1: BoundedLattice, T2: BoundedLattice, T3: BoundedLattice, T4: BoundedLattice, T5: BoundedLattice> BoundedLattice for Product<(T0, T1, T2, T3, T4, T5)>

where Product<(T0, T1, T2, T3, T4, T5)>: Lattice,

impl<T0: BoundedLattice, T1: BoundedLattice, T2: BoundedLattice, T3: BoundedLattice, T4: BoundedLattice, T5: BoundedLattice, T6: BoundedLattice> BoundedLattice for Product<(T0, T1, T2, T3, T4, T5, T6)>

where Product<(T0, T1, T2, T3, T4, T5, T6)>: Lattice,

impl<T0: BoundedLattice, T1: BoundedLattice, T2: BoundedLattice, T3: BoundedLattice, T4: BoundedLattice, T5: BoundedLattice, T6: BoundedLattice, T7: BoundedLattice> BoundedLattice for Product<(T0, T1, T2, T3, T4, T5, T6, T7)>

where Product<(T0, T1, T2, T3, T4, T5, T6, T7)>: Lattice,

impl<T0: BoundedLattice, T1: BoundedLattice, T2: BoundedLattice, T3: BoundedLattice, T4: BoundedLattice, T5: BoundedLattice, T6: BoundedLattice, T7: BoundedLattice, T8: BoundedLattice> BoundedLattice for Product<(T0, T1, T2, T3, T4, T5, T6, T7, T8)>

where Product<(T0, T1, T2, T3, T4, T5, T6, T7, T8)>: Lattice,

impl<T0: BoundedLattice, T1: BoundedLattice, T2: BoundedLattice, T3: BoundedLattice, T4: BoundedLattice, T5: BoundedLattice, T6: BoundedLattice, T7: BoundedLattice, T8: BoundedLattice, T9: BoundedLattice> BoundedLattice for Product<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)>

where Product<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)>: Lattice,

impl<T0: BoundedLattice, T1: BoundedLattice, T2: BoundedLattice, T3: BoundedLattice, T4: BoundedLattice, T5: BoundedLattice, T6: BoundedLattice, T7: BoundedLattice, T8: BoundedLattice, T9: BoundedLattice, T10: BoundedLattice> BoundedLattice for Product<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)>

where Product<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)>: Lattice,

impl<T> BoundedLattice for Dual<T>

where T: BoundedLattice, Dual<T>: Lattice,

impl<T: Lattice> BoundedLattice for ConstPropagation<T>

where ConstPropagation<T>: Lattice,

impl<const BOUND: usize, T: PartialEq + Eq + Hash + Ord> BoundedLattice for BoundedSet<BOUND, T>

impl<const N: usize, T: BoundedLattice> BoundedLattice for Product<[T; N]>