Trait pergola::LatticeDef

pub trait LatticeDef: DefTraits {
    type T: ValTraits;
    pub fn unit() -> Self::T;
    pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T;
    pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>;
}

Implement this trait on a (typically vacuous) type to define a specific lattice as a type-with-some-choice-of-operators.

Associated Types

type T: ValTraits

Loading content...

Required methods

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

Loading content...

Implementors

impl LatticeDef for BitSetWithIntersection

type T = Option<BitSetWrapper>

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl LatticeDef for BitSetWithUnion

type T = BitSetWrapper

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<A: LatticeDef, B: LatticeDef> LatticeDef for Tuple2<A, B>

type T = (LatticeElt<A>, LatticeElt<B>)

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<A: LatticeDef, B: LatticeDef, C: LatticeDef> LatticeDef for Tuple3<A, B, C>

type T = (LatticeElt<A>, LatticeElt<B>, LatticeElt<C>)

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<A: LatticeDef, B: LatticeDef, C: LatticeDef, D: LatticeDef> LatticeDef for Tuple4<A, B, C, D>

type T = (LatticeElt<A>, LatticeElt<B>, LatticeElt<C>, LatticeElt<D>)

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<A: LatticeDef, B: LatticeDef, C: LatticeDef, D: LatticeDef, E: LatticeDef> LatticeDef for Tuple5<A, B, C, D, E>

type T = (LatticeElt<A>, LatticeElt<B>, LatticeElt<C>, LatticeElt<D>, LatticeElt<E>)

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<K: DefTraits, VD: LatticeDef> LatticeDef for ArcOrdMapWithIntersection<K, VD> where
    VD::T: Clone, 

type T = Option<ArcOrdMap<K, LatticeElt<VD>>>

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<K: DefTraits, VD: LatticeDef> LatticeDef for ArcOrdMapWithUnion<K, VD> where
    VD::T: Clone, 

type T = ArcOrdMap<K, LatticeElt<VD>>

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<K: DefTraits, VD: LatticeDef> LatticeDef for BTreeMapWithIntersection<K, VD> where
    VD::T: Clone, 

type T = Option<BTreeMap<K, LatticeElt<VD>>>

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<K: DefTraits, VD: LatticeDef> LatticeDef for BTreeMapWithUnion<K, VD> where
    VD::T: Clone, 

type T = BTreeMap<K, LatticeElt<VD>>

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<K: DefTraits, VD: LatticeDef> LatticeDef for RcOrdMapWithIntersection<K, VD> where
    VD::T: Clone, 

type T = Option<RcOrdMap<K, LatticeElt<VD>>>

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<K: DefTraits, VD: LatticeDef> LatticeDef for RcOrdMapWithUnion<K, VD> where
    VD::T: Clone, 

type T = RcOrdMap<K, LatticeElt<VD>>

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<M: DefTraits + MaxUnitDefault> LatticeDef for MaxDef<M>

type T = M

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<M: DefTraits + MaxUnitMinValue> LatticeDef for MaxNum<M>

type T = M

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<M: DefTraits + Bounded> LatticeDef for MinNum<M>

type T = M

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<M: DefTraits> LatticeDef for MinOpt<M>

type T = Option<M>

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<U: DefTraits> LatticeDef for ArcOrdSetWithIntersection<U>

type T = Option<ArcOrdSet<U>>

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<U: DefTraits> LatticeDef for ArcOrdSetWithUnion<U>

type T = ArcOrdSet<U>

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<U: DefTraits> LatticeDef for BTreeSetWithIntersection<U>

type T = Option<BTreeSet<U>>

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<U: DefTraits> LatticeDef for BTreeSetWithUnion<U>

type T = BTreeSet<U>

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<U: DefTraits> LatticeDef for RcOrdSetWithIntersection<U>

type T = Option<RcOrdSet<U>>

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

impl<U: DefTraits> LatticeDef for RcOrdSetWithUnion<U>

type T = RcOrdSet<U>

pub fn unit() -> Self::T

pub fn join(lhs: &Self::T, rhs: &Self::T) -> Self::T

pub fn partial_order(lhs: &Self::T, rhs: &Self::T) -> Option<Ordering>

Loading content...