Struct crdts::map::Map

pub struct Map<K: Key, V: Val<A>, A: Actor> { /* fields omitted */ }

Map CRDT - Supports Composition of CRDT's with reset-remove semantics.

Reset-remove means that if one replica removes an entry while another actor concurrently edits that entry, once we sync these two maps, we will see that the entry is still in the map but all edits seen by the removing actor will be gone.

See examples/reset_remove.rs for an example of reset-remove semantics in action.

Methods

impl<K: Key, V: Val<A>, A: Actor> Map<K, V, A>

pub fn new() -> Self

Constructs an empty Map

pub fn is_empty(&self) -> ReadCtx<bool, A>

Returns true if the map has no entries, false otherwise

pub fn len(&self) -> ReadCtx<usize, A>

Returns the number of entries in the Map

pub fn get(&self, key: &K) -> ReadCtx<Option<V>, A>

Retrieve value stored under a key

pub fn update<F, I>(&self, key: I, ctx: AddCtx<A>, f: F) -> Op<K, V, A> where
    F: FnOnce(&V, AddCtx<A>) -> V::Op,
    I: Into<K>, 

Update a value under some key, if the key is not present in the map, the updater will be given the result of V::default().

pub fn rm(&self, key: impl Into<K>, ctx: RmCtx<A>) -> Op<K, V, A>

Remove an entry from the Map

Trait Implementations

impl<K: Key, V: Val<A>, A: Actor> CvRDT for Map<K, V, A>

fn merge(&mut self, other: Self)

Merge the given CRDT into the current CRDT.

impl<K: Key, V: Val<A>, A: Actor> CmRDT for Map<K, V, A>

type Op = Op<K, V, A>

Op defines a mutation to the CRDT. As long as Op's from one actor are replayed in exactly the same order they were generated by that actor, the CRDT will converge. In other words, we must have a total ordering on each actors operations, while requiring only a partial order over all ops. E.g.

fn apply(&mut self, op: Self::Op)

Apply an Op to the CRDT

impl<K: Key, V: Val<A>, A: Actor> Causal<A> for Map<K, V, A>

fn forget(&mut self, clock: &VClock<A>)

Forget data that is strictly smaller than this clock

impl<K: PartialEq + Key, V: PartialEq + Val<A>, A: PartialEq + Actor> PartialEq<Map<K, V, A>> for Map<K, V, A>

fn eq(&self, other: &Map<K, V, A>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Map<K, V, A>) -> bool

This method tests for !=.

impl<K: Eq + Key, V: Eq + Val<A>, A: Eq + Actor> Eq for Map<K, V, A>

impl<K: Key, V: Val<A>, A: Actor> Default for Map<K, V, A>

fn default() -> Self

Returns the "default value" for a type.

impl<K: Clone + Key, V: Clone + Val<A>, A: Clone + Actor> Clone for Map<K, V, A>

fn clone(&self) -> Map<K, V, A>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<K: Debug + Key, V: Debug + Val<A>, A: Debug + Actor> Debug for Map<K, V, A>

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

Formats the value using the given formatter.

impl<K: Key, V: Val<A>, A: Actor> Serialize for Map<K, V, A> where
    K: Serialize,
    V: Serialize,
    A: Serialize, 

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

Serialize this value into the given Serde serializer.

impl<'de, K: Key, V: Val<A>, A: Actor> Deserialize<'de> for Map<K, V, A> where
    K: Deserialize<'de>,
    V: Deserialize<'de>,
    A: Deserialize<'de>, 

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.