Trait lattices::LatticeOrd

source ·
pub trait LatticeOrd<Rhs = Self>: PartialOrd<Rhs> { }
Expand description

Trait for lattice partial order comparison PartialOrd is implemented for many things, this trait can be used to require the type be a lattice.

Implementations on Foreign Types§

source§

impl LatticeOrd for ()

Implementors§

source§

impl<Inner, Other> LatticeOrd<WithBot<Other>> for WithBot<Inner>
where Self: PartialOrd<WithBot<Other>>,

source§

impl<Inner, Other> LatticeOrd<WithTop<Other>> for WithTop<Inner>
where Self: PartialOrd<WithTop<Other>>,

source§

impl<KeySelf, KeyOther, ValSelf, ValOther> LatticeOrd<DomPair<KeyOther, ValOther>> for DomPair<KeySelf, ValSelf>
where Self: PartialOrd<DomPair<KeyOther, ValOther>>,

source§

impl<LatASelf, LatAOther, LatBSelf, LatBOther> LatticeOrd<Pair<LatAOther, LatBOther>> for Pair<LatASelf, LatBSelf>
where Self: PartialOrd<Pair<LatAOther, LatBOther>>,

source§

impl<LatSelf, LatOther> LatticeOrd<VecUnion<LatOther>> for VecUnion<LatSelf>
where Self: PartialOrd<VecUnion<LatOther>>,

source§

impl<MapSelf, MapOther> LatticeOrd<MapUnion<MapOther>> for MapUnion<MapSelf>
where Self: PartialOrd<MapUnion<MapOther>>,

source§

impl<MapSelf, MapOther> LatticeOrd<UnionFind<MapOther>> for UnionFind<MapSelf>
where Self: PartialOrd<UnionFind<MapOther>>,

source§

impl<MapSelf, MapOther, TombstoneSetSelf, TombstoneSetOther> LatticeOrd<MapUnionWithTombstones<MapOther, TombstoneSetOther>> for MapUnionWithTombstones<MapSelf, TombstoneSetSelf>
where Self: PartialOrd<MapUnionWithTombstones<MapOther, TombstoneSetOther>>,

source§

impl<SetSelf, SetOther> LatticeOrd<SetUnion<SetOther>> for SetUnion<SetSelf>
where Self: PartialOrd<SetUnion<SetOther>>,

source§

impl<SetSelf, TombstoneSetSelf, SetOther, TombstoneSetOther> LatticeOrd<SetUnionWithTombstones<SetOther, TombstoneSetOther>> for SetUnionWithTombstones<SetSelf, TombstoneSetSelf>
where Self: PartialOrd<SetUnionWithTombstones<SetOther, TombstoneSetOther>>,

source§

impl<T> LatticeOrd for Max<T>
where Self: PartialOrd<Self>,

source§

impl<T> LatticeOrd for Min<T>
where Self: PartialOrd<Self>,

source§

impl<T, O> LatticeOrd<Conflict<O>> for Conflict<T>
where Self: PartialOrd<Conflict<O>>,

source§

impl<T, Provenance> LatticeOrd for Point<T, Provenance>
where Self: PartialOrd<Point<T, Provenance>>,