Struct crdts::lwwreg::LWWReg

pub struct LWWReg<T, A> where
    T: PartialEq + Serialize + DeserializeOwned,
    A: Ord + Serialize + DeserializeOwned,  {
    pub value: T,
    pub dot: A,
}

LWWReg is a simple CRDT that contains an arbitrary value along with an Ord that tracks causality. It is the responsibility of the user to guarantee that the source of the causal element is monotonic. Don't use timestamps unless you are comfortable with divergence.

Fields

value: T

value is the opaque element contained within this CRDT

dot: A

dot should be a monotonic value associated with this value

Methods

impl<T, A> LWWReg<T, A> where
    T: PartialEq + Serialize + DeserializeOwned,
    A: Ord + Serialize + DeserializeOwned, 

fn merge(&mut self, other: LWWReg<T, A>)

Combines two LWWReg instances according to the dot that tracks causality. Panics if the dot is identical but the contained element is different. If you would prefer divergence, use merge_unsafe below.

Panics

merge will panic if passed a LWWReg instance with an identical dot but different element, indicating a breach of monotonicity.

use crdts::LWWReg;
let mut l1 = LWWReg { value: 1, dot: 2 };
let l2 = LWWReg { value: 3, dot: 2 };
// panics
// l1.merge(l2);

unsafe fn merge_unsafe(&mut self, other: LWWReg<T, A>)

Combines two LWWReg instances according to the dot that tracks causality. This allows replicas to diverge if the dot is identical but the element is not.

Trait Implementations

impl<T: Debug, A: Debug> Debug for LWWReg<T, A> where
    T: PartialEq + Serialize + DeserializeOwned,
    A: Ord + Serialize + DeserializeOwned, 

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

Formats the value using the given formatter.

impl<T: Clone, A: Clone> Clone for LWWReg<T, A> where
    T: PartialEq + Serialize + DeserializeOwned,
    A: Ord + Serialize + DeserializeOwned, 

fn clone(&self) -> LWWReg<T, A>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: PartialEq, A: PartialEq> PartialEq for LWWReg<T, A> where
    T: PartialEq + Serialize + DeserializeOwned,
    A: Ord + Serialize + DeserializeOwned, 

fn eq(&self, __arg_0: &LWWReg<T, A>) -> bool

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

fn ne(&self, __arg_0: &LWWReg<T, A>) -> bool

This method tests for !=.

impl<T: Eq, A: Eq> Eq for LWWReg<T, A> where
    T: PartialEq + Serialize + DeserializeOwned,
    A: Ord + Serialize + DeserializeOwned, 

impl<T: Hash, A: Hash> Hash for LWWReg<T, A> where
    T: PartialEq + Serialize + DeserializeOwned,
    A: Ord + Serialize + DeserializeOwned, 

fn hash<__HTA: Hasher>(&self, __arg_0: &mut __HTA)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].