Struct Rga 

pub struct Rga<P: Ord, V: Ord> { /* private fields */ }

RGA-family sequence state: positioned values plus tombstoned positions.

Lean model: Crdt.RGA.State ι α = Finset (ι × α) × Finset ι. The Lean read is the sorted list of live position identifiers; values are carried by lookup through the live positioned set.

Implementations

impl<P: Ord, V: Ord> Rga<P, V>

pub fn new() -> Self

pub fn insert(&mut self, position: P, value: V)

pub fn delete(&mut self, position: P)

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

where P: Clone, V: Clone,

pub fn placed(&self) -> &BTreeSet<(P, V)>

pub fn tombstones(&self) -> &BTreeSet<P>

impl<P: Ord + Clone, V: Ord + Clone> Rga<P, V>

pub fn live_entries(&self) -> Vec<(P, V)>

pub fn read_positions(&self) -> Vec<P>

Trait Implementations

impl<P: Clone + Ord, V: Clone + Ord> Clone for Rga<P, V>

fn clone(&self) -> Rga<P, V>

Returns a duplicate of the value. Read more

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

Performs copy-assignment from source. Read more

impl<P: Ord + Clone, V: Ord + Clone> Crdt for Rga<P, V>

type Delta = RgaDelta<P, 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.

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

Validate decoded records before admission or replay into this carrier.

impl<P: Debug + Ord, V: Debug + Ord> Debug for Rga<P, V>

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

Formats the value using the given formatter. Read more

impl<P: Ord, V: Ord> Default for Rga<P, V>

fn default() -> Self

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

impl<P: Eq + Ord, V: Eq + Ord> Eq for Rga<P, V>

impl<P: Ord + Clone, V: Ord + Clone> Mergeable for Rga<P, V>

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

impl<P: PartialEq + Ord, V: PartialEq + Ord> PartialEq for Rga<P, V>

fn eq(&self, other: &Rga<P, 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<P: PartialEq + Ord, V: PartialEq + Ord> StructuralPartialEq for Rga<P, V>

impl WireDecode for Rga<u64, u64>

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

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

impl WireEncode for Rga<u64, u64>

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

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

impl WireSchema for Rga<u64, u64>

const REQUIRES_ARITY: bool = false

fn wire_schema() -> Vec<u8>