Struct crdts::map::Map

pub struct Map<K: Ord, 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.

Implementations

impl<K: Ord, V: Val<A> + Default, 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>(&self, key: impl Into<K>, ctx: AddCtx<A>, f: F) -> Op<K, V, A> where
    F: FnOnce(&V, AddCtx<A>) -> V::Op, 

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(). The default value is used to ensure eventual consistency since our Map's values are CRDTs themselves.

The impl Into<K> bound provides a nice way of providing an input key that can easily convert to the Map's key. For example, we can call this function with "hello": &str and it can be converted to String.

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

Remove an entry from the Map

The impl Into<K> bound provides a nice way of providing an input key that can easily convert to the Map's key. For example, we can call this function with "hello": &str and it can be converted to String.

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

Retrieve the current read context

Trait Implementations

impl<K: Ord, V: Val<A> + Default, 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: Clone + Ord, 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: Ord, V: Val<A> + Default, 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: Ord, V: Val<A> + Default, A: Actor> CvRDT for Map<K, V, A>

fn merge(&mut self, other: Self)

Merge the given CRDT into the current CRDT.

impl<K: Debug + Ord, 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: Ord, V: Val<A> + Default, A: Actor> Default for Map<K, V, A>

fn default() -> Self

Returns the "default value" for a type.

impl<'de, K: Ord, 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.

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

impl<K: PartialEq + Ord, 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: Ord, 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<K: Ord, V: Val<A>, A: Actor> StructuralEq for Map<K, V, A>

impl<K: Ord, V: Val<A>, A: Actor> StructuralPartialEq for Map<K, V, A>