Type Alias MapUnionWithTombstonesSingletonMapOnly

pub type MapUnionWithTombstonesSingletonMapOnly<K, Val> = MapUnionWithTombstones<SingletonMap<K, Val>, EmptySet<K>>;

crate::collections::SingletonMap-backed MapUnionWithTombstones lattice.

Aliased Type

struct MapUnionWithTombstonesSingletonMapOnly<K, Val> { /* private fields */ }

Implementations

impl<Map, TombstoneSet> MapUnionWithTombstones<Map, TombstoneSet>

pub fn new(map: Map, tombstones: TombstoneSet) -> Self

Create a new MapUnionWithTombstones from a Map and a TombstoneSet.

pub fn new_from( map: impl Into<Map>, tombstones: impl Into<TombstoneSet>, ) -> Self

Create a new MapUnionWithTombstones from an Into<Map> and an Into<TombstoneSet>.

pub fn as_reveal_ref(&self) -> (&Map, &TombstoneSet)

Reveal the inner value as a shared reference.

pub fn as_reveal_mut(&mut self) -> (&mut Map, &mut TombstoneSet)

Reveal the inner value as an exclusive reference.

pub fn into_reveal(self) -> (Map, TombstoneSet)

Gets the inner by value, consuming self.

Trait Implementations

impl<Map: Clone, TombstoneSet: Clone> Clone for MapUnionWithTombstones<Map, TombstoneSet>

fn clone(&self) -> MapUnionWithTombstones<Map, TombstoneSet>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Map: Debug, TombstoneSet: Debug> Debug for MapUnionWithTombstones<Map, TombstoneSet>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Map: Default, TombstoneSet: Default> Default for MapUnionWithTombstones<Map, TombstoneSet>

fn default() -> MapUnionWithTombstones<Map, TombstoneSet>

Returns the “default value” for a type.

impl<'de, Map, TombstoneSet> Deserialize<'de> for MapUnionWithTombstones<Map, TombstoneSet>

where Map: Deserialize<'de>, TombstoneSet: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<Map, TombstoneSet> IsBot for MapUnionWithTombstones<Map, TombstoneSet>

where Map: Iter, Map::Item: IsBot, TombstoneSet: Len,

fn is_bot(&self) -> bool

Returns if self is lattice bottom (⊥).

impl<Map, TombstoneSet> IsTop for MapUnionWithTombstones<Map, TombstoneSet>

fn is_top(&self) -> bool

Returns if self is lattice top (⊤).

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>,

fn lattice_from( other: MapUnionWithTombstones<MapOther, TombstoneSetOther>, ) -> Self

Convert from the Other lattice into Self.

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

where MapSelf: Keyed<Key = K, Item = ValSelf> + Extend<(K, ValSelf)> + for<'a> GetMut<&'a K, Item = ValSelf> + for<'b> Remove<&'b K>, MapOther: IntoIterator<Item = (K, ValOther)>, ValSelf: Merge<ValOther> + LatticeFrom<ValOther>, ValOther: IsBot, TombstoneSetSelf: Extend<K> + Len + for<'a> Get<&'a K> + Iter<Item = K>, TombstoneSetOther: IntoIterator<Item = K>,

fn merge( &mut self, other: MapUnionWithTombstones<MapOther, TombstoneSetOther>, ) -> bool

Merge other into the self lattice.

fn merge_owned(this: Self, delta: Other) -> Self

where Self: Sized,

Merge this and delta together, returning the new value.

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

where MapSelf: Map<K, ValSelf, Key = K, Item = ValSelf> + MapIter + SimpleKeyedRef, MapOther: Map<K, ValOther, Key = K, Item = ValOther> + MapIter + SimpleKeyedRef, ValSelf: PartialEq<ValOther> + IsBot, ValOther: IsBot, TombstoneSetSelf: Len + Iter<Item = K> + for<'a> Get<&'a K>, TombstoneSetOther: Len + Iter<Item = K> + for<'b> Get<&'b K>,

fn eq( &self, other: &MapUnionWithTombstones<MapOther, TombstoneSetOther>, ) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

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

where MapSelf: Map<K, ValSelf, Key = K, Item = ValSelf> + MapIter + SimpleKeyedRef, MapOther: Map<K, ValOther, Key = K, Item = ValOther> + MapIter + SimpleKeyedRef, ValSelf: PartialOrd<ValOther> + IsBot, ValOther: IsBot, TombstoneSetSelf: Len + Iter<Item = K> + for<'a> Get<&'a K>, TombstoneSetOther: Len + Iter<Item = K> + for<'a> Get<&'a K>,

fn partial_cmp( &self, other: &MapUnionWithTombstones<MapOther, TombstoneSetOther>, ) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<Map, TombstoneSet> Serialize for MapUnionWithTombstones<Map, TombstoneSet>

where Map: Serialize, TombstoneSet: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<Map: Copy, TombstoneSet: Copy> Copy for MapUnionWithTombstones<Map, TombstoneSet>

impl<MapSelf, TombstoneSetSelf> Eq for MapUnionWithTombstones<MapSelf, TombstoneSetSelf>

where Self: PartialEq,

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

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