Trait lattices::LatticeOrd

pub trait LatticeOrd<Rhs = Self>: PartialOrd<Rhs> { }

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

impl LatticeOrd for ()

Implementors

impl<Head, Node> LatticeOrd for GhtInner<Head, Node>

where Self: PartialOrd<GhtInner<Head, Node>>, Head: Clone, Node: GeneralizedHashTrieNode, Node::Storage: VariadicSet<Schema = Node::Schema>,

impl<Inner, Other> LatticeOrd<WithBot<Other>> for WithBot<Inner>

where Self: PartialOrd<WithBot<Other>>,

impl<Inner, Other> LatticeOrd<WithTop<Other>> for WithTop<Inner>

where Self: PartialOrd<WithTop<Other>>,

impl<KeySelf, KeyOther, ValSelf, ValOther> LatticeOrd<DomPair<KeyOther, ValOther>> for DomPair<KeySelf, ValSelf>

where Self: PartialOrd<DomPair<KeyOther, ValOther>>,

impl<LatA, LatB, __LatAOther, __LatBOther> LatticeOrd<Pair<__LatAOther, __LatBOther>> for Pair<LatA, LatB>

where LatA: PartialOrd<__LatAOther>, LatB: PartialOrd<__LatBOther>,

impl<LatSelf, LatOther> LatticeOrd<VecUnion<LatOther>> for VecUnion<LatSelf>

where Self: PartialOrd<VecUnion<LatOther>>,

impl<MapSelf, MapOther> LatticeOrd<MapUnion<MapOther>> for MapUnion<MapSelf>

where Self: PartialOrd<MapUnion<MapOther>>,

impl<MapSelf, MapOther> LatticeOrd<UnionFind<MapOther>> for UnionFind<MapSelf>

where Self: PartialOrd<UnionFind<MapOther>>,

impl<MapSelf, MapOther, TombstoneSetSelf, TombstoneSetOther> LatticeOrd<MapUnionWithTombstones<MapOther, TombstoneSetOther>> for MapUnionWithTombstones<MapSelf, TombstoneSetSelf>

where Self: PartialOrd<MapUnionWithTombstones<MapOther, TombstoneSetOther>>,

impl<Schema, SuffixSchema, Storage> LatticeOrd for GhtLeaf<Schema, SuffixSchema, Storage>

where Schema: Eq + Hash + PartialEqVariadic, SuffixSchema: Eq + Hash, Storage: VariadicSet<Schema = Schema> + PartialEq,

impl<SetSelf, SetOther> LatticeOrd<SetUnion<SetOther>> for SetUnion<SetSelf>

where Self: PartialOrd<SetUnion<SetOther>>,

impl<SetSelf, TombstoneSetSelf, SetOther, TombstoneSetOther> LatticeOrd<SetUnionWithTombstones<SetOther, TombstoneSetOther>> for SetUnionWithTombstones<SetSelf, TombstoneSetSelf>

where Self: PartialOrd<SetUnionWithTombstones<SetOther, TombstoneSetOther>>,

impl<T> LatticeOrd for Max<T>

where Self: PartialOrd<Self>,

impl<T> LatticeOrd for Min<T>

where Self: PartialOrd<Self>,

impl<T, O> LatticeOrd<Conflict<O>> for Conflict<T>

where Self: PartialOrd<Conflict<O>>,

impl<T, Provenance> LatticeOrd for Point<T, Provenance>

where Self: PartialOrd<Point<T, Provenance>>,