Struct GSet 

pub struct GSet<T: Ord> { /* private fields */ }

A grow-only set: merge = union.

This mirrors the upstream crdt-lean G-Set carrier (Finset α).

Implementations

impl GSet<u64>

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

Decode with an explicit element count budget, checked before reading elements.

impl<T: Ord> GSet<T>

pub fn new() -> Self

pub fn insert(&mut self, element: T)

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

where T: Clone,

pub fn contains(&self, element: &T) -> bool

pub fn elements(&self) -> &BTreeSet<T>

Trait Implementations

impl<T: Clone + Ord> Clone for GSet<T>

fn clone(&self) -> GSet<T>

Returns a duplicate of the value. Read more

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

Performs copy-assignment from source. Read more

impl<T: Ord + Clone> Crdt for GSet<T>

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

Accepts every positive-sequence record: every T is in a G-Set’s domain, and a fresh set inserts it. The only record replay ignores is an element already present, and ignoring it is set idempotence (join with a member), not loss.

type Delta = T

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<T: Debug + Ord> Debug for GSet<T>

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

Formats the value using the given formatter. Read more

impl<T: Ord> Default for GSet<T>

fn default() -> Self

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

impl<T: Ord + Clone> Mergeable for GSet<T>

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

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

impl<T: PartialEq + Ord> PartialEq for GSet<T>

fn eq(&self, other: &GSet<T>) -> 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 GSet<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 GSet<u64>

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

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

impl WireSchema for GSet<u64>

const REQUIRES_ARITY: bool = false

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

Borrow fixed identities; return owned bytes for composed schemas.

impl<T: Eq + Ord> Eq for GSet<T>

impl<T: Ord> StructuralPartialEq for GSet<T>