Trait LatticeFrom

pub trait LatticeFrom<Other> {
    // Required method
    fn lattice_from(other: Other) -> Self;
}

Same as From but for lattices.

This should only be implemented between different representations of the same lattice type. This should recursively convert nested lattice types, but not non-lattice (“scalar”) types.

Required Methods

fn lattice_from(other: Other) -> Self

Convert from the Other lattice into Self.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl LatticeFrom<()> for ()

fn lattice_from(other: Self) -> Self

Implementors

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

where Inner: LatticeFrom<Other>,

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

where Inner: LatticeFrom<Other>,

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

where KeySelf: LatticeFrom<KeyOther>, ValSelf: LatticeFrom<ValOther>,

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

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

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

where LatSelf: LatticeFrom<LatOther>,

impl<MapSelf, MapOther, K> LatticeFrom<UnionFind<MapOther>> for UnionFind<MapSelf>

where MapSelf: Keyed<Key = K, Item = Cell<K>> + FromIterator<(K, Cell<K>)>, MapOther: IntoIterator<Item = (K, Cell<K>)>, K: Copy + Eq,

impl<MapSelf, MapOther, K, ValSelf, ValOther> LatticeFrom<MapUnion<MapOther>> for MapUnion<MapSelf>

where MapSelf: Keyed<Key = K, Item = ValSelf> + FromIterator<(K, ValSelf)>, MapOther: IntoIterator<Item = (K, ValOther)>, ValSelf: LatticeFrom<ValOther>,

impl<MapSelf, MapOther, K, ValSelf, ValOther, TombstoneSetSelf, TombstoneSetOther> LatticeFrom<MapUnionWithTombstones<MapOther, TombstoneSetOther>> for MapUnionWithTombstones<MapSelf, TombstoneSetSelf>

where MapSelf: Keyed<Key = K, Item = ValSelf> + FromIterator<(K, ValSelf)>, MapOther: IntoIterator<Item = (K, ValOther)>, ValSelf: LatticeFrom<ValOther>, TombstoneSetSelf: FromIterator<K>, TombstoneSetOther: IntoIterator<Item = K>,

impl<SetSelf, SetOther, Item> LatticeFrom<SetUnion<SetOther>> for SetUnion<SetSelf>

where SetSelf: FromIterator<Item>, SetOther: IntoIterator<Item = Item>,

impl<SetSelf, TombstoneSetSelf, SetOther, TombstoneSetOther, Item> LatticeFrom<SetUnionWithTombstones<SetOther, TombstoneSetOther>> for SetUnionWithTombstones<SetSelf, TombstoneSetSelf>

where SetSelf: FromIterator<Item>, SetOther: IntoIterator<Item = Item>, TombstoneSetSelf: FromIterator<Item>, TombstoneSetOther: IntoIterator<Item = Item>,

impl<T> LatticeFrom<Conflict<T>> for Conflict<T>

impl<T> LatticeFrom<Max<T>> for Max<T>

impl<T> LatticeFrom<Min<T>> for Min<T>

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

impl LatticeFrom<InfectingWrite> for InfectingWrite

where Namespaces<Clock>: LatticeFrom<Namespaces<Clock>>, BoundedSetLattice<MemberId, 2>: LatticeFrom<BoundedSetLattice<MemberId, 2>>,

impl<T, const N: usize> LatticeFrom<BoundedSetLattice<T, N>> for BoundedSetLattice<T, N>

where T: Eq + Hash,