Struct LwwRegister 

pub struct LwwRegister<V: Ord> { /* private fields */ }

Last-writer-wins register.

This is a flat tested-not-proven type. It is a max register over the total order (timestamp, replica, value), which gives deterministic merge and tie-breaking. It is not currently part of the Lean-proven product surface.

Implementations

impl<V: Ord> LwwRegister<V>

pub fn new() -> Self

pub fn set(&mut self, timestamp: u64, replica: u64, value: V)

pub fn entry(&self) -> Option<&LwwEntry<V>>

pub fn value(&self) -> Option<&V>

impl<V: Ord + Clone> LwwRegister<V>

pub fn merge(&mut self, other: &Self)

Trait Implementations

impl<V: Clone + Ord> Clone for LwwRegister<V>

fn clone(&self) -> LwwRegister<V>

Returns a duplicate of the value. Read more

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

Performs copy-assignment from source. Read more

impl<V: Ord + Clone> Crdt for LwwRegister<V>

fn validate_record( &self, id: RecordId, delta: &Self::Delta, ) -> Result<(), WireError>

A record may only assign its author’s dot. Losing assignments with a matching author remain valid and are subsumed by the total-order rule.

type Delta = LwwRegisterDelta<V>

fn apply_delta(&mut self, delta: Self::Delta)

fn replica_count(&self) -> Option<usize>

Fixed replica domain, or None for CRDTs without a fixed arity.

impl<V: Debug + Ord> Debug for LwwRegister<V>

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

Formats the value using the given formatter. Read more

impl<V: Ord> Default for LwwRegister<V>

fn default() -> Self

Returns the “default value” for a type. Read more

impl<V: Ord + Clone> Mergeable for LwwRegister<V>

fn merge(&mut self, other: &Self) -> Result<(), MergeError>

Join compatible states, returning an error if their replica domains differ.

impl<V: PartialEq + Ord> PartialEq for LwwRegister<V>

fn eq(&self, other: &LwwRegister<V>) -> 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 WireDecode for LwwRegister<u64>

fn decode_wire(cursor: &mut WireCursor<'_>) -> Result<Self, WireError>

fn decode_wire_with_collection_limits( cursor: &mut WireCursor<'_>, _limits: CollectionLimits, ) -> Result<Self, WireError>

Decode a nested payload with a collection budget. Other payload types retain their ordinary decoder unless they implement this method.

fn decode_wire_with_limits( cursor: &mut WireCursor<'_>, collections: CollectionLimits, _max_records: Option<usize>, ) -> Result<Self, WireError>

Decode a payload nested in an EventLog with its record budget.

fn from_wire_bytes_with_collection_limits( bytes: &[u8], limits: CollectionLimits, ) -> Result<Self, WireError>

Decode a complete wire value with an explicit collection ceiling.

fn from_wire_bytes(bytes: &[u8]) -> Result<Self, WireError>

impl WireEncode for LwwRegister<u64>

fn encode_wire(&self, out: &mut Vec<u8>) -> Result<(), WireError>

fn to_wire_bytes(&self) -> Result<Vec<u8>, WireError>

impl WireSchema for LwwRegister<u64>

const REQUIRES_ARITY: bool = false

fn wire_schema() -> Cow<'static, [u8]>

Borrow fixed identities; return owned bytes for composed schemas.

impl<V: Eq + Ord> Eq for LwwRegister<V>

impl<V: Ord> StructuralPartialEq for LwwRegister<V>