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 Rga<u64, u64>

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

Decode with an explicit per-list count budget for placements and tombstones.

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)>

Every live positioned value, in total (position, value) order.

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

Live positions sorted ascending, with no duplicates, matching Lean read. Distinct values at a shared position remain available through live_entries.

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>

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

Accepts every positive-sequence record: an insert joins the placed set even at a tombstoned position, and a delete tombstones its position whether or not it was observed; a fresh sequence applies either. The records replay ignores (a duplicate insert, a repeated delete) are join idempotence.

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.

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: Ord + Clone, V: Ord + Clone> Mergeable for Rga<P, V>

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

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

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 WireDecode for Rga<u64, 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 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() -> Cow<'static, [u8]>

Borrow fixed identities; return owned bytes for composed schemas.

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

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