pub struct EnableWinsFlag<K: Ord> { /* private fields */ }Expand description
Enable-wins boolean flag.
This is a flat tested-not-proven type. It mirrors an OR-Set over a unit element: enable adds a unique token, disable tombstones observed tokens, and concurrent unobserved enables remain live.
Implementations§
Source§impl<K: Ord> EnableWinsFlag<K>
impl<K: Ord> EnableWinsFlag<K>
Source§impl<K: Ord + Clone> EnableWinsFlag<K>
impl<K: Ord + Clone> EnableWinsFlag<K>
pub fn observed_tokens(&self) -> BTreeSet<K>
pub fn value(&self) -> bool
Trait Implementations§
Source§impl<K: Clone + Ord> Clone for EnableWinsFlag<K>
impl<K: Clone + Ord> Clone for EnableWinsFlag<K>
Source§fn clone(&self) -> EnableWinsFlag<K>
fn clone(&self) -> EnableWinsFlag<K>
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl<K: Ord + Clone> Crdt for EnableWinsFlag<K>
impl<K: Ord + Clone> Crdt for EnableWinsFlag<K>
Source§fn validate_record(
&self,
id: RecordId,
_delta: &Self::Delta,
) -> Result<(), WireError>
fn validate_record( &self, id: RecordId, _delta: &Self::Delta, ) -> Result<(), WireError>
Accepts every positive-sequence record, by the same argument as crate::OrSet: an enable joins
the enable set even when its token is tombstoned, a disable tombstones the
tokens it names whether observed or not, and a disable naming no tokens is
the lattice bottom. Every decodable record applies on a fresh flag.
type Delta = EnableWinsFlagDelta<K>
fn apply_delta(&mut self, delta: Self::Delta)
Source§fn replica_count(&self) -> Option<usize>
fn replica_count(&self) -> Option<usize>
Fixed replica domain, or
None for CRDTs without a fixed arity.Source§impl<K: Debug + Ord> Debug for EnableWinsFlag<K>
impl<K: Debug + Ord> Debug for EnableWinsFlag<K>
Source§impl<K: Ord> Default for EnableWinsFlag<K>
impl<K: Ord> Default for EnableWinsFlag<K>
Source§impl<K: Ord + Clone> Mergeable for EnableWinsFlag<K>
impl<K: Ord + Clone> Mergeable for EnableWinsFlag<K>
Source§fn merge(&mut self, other: &Self) -> Result<(), MergeError>
fn merge(&mut self, other: &Self) -> Result<(), MergeError>
Join compatible states, returning an error if their replica domains differ.
Source§impl<K: PartialEq + Ord> PartialEq for EnableWinsFlag<K>
impl<K: PartialEq + Ord> PartialEq for EnableWinsFlag<K>
Source§fn eq(&self, other: &EnableWinsFlag<K>) -> bool
fn eq(&self, other: &EnableWinsFlag<K>) -> bool
Tests for
self and other values to be equal, and is used by ==.1.0.0 · Source§fn ne(&self, other: &Rhs) -> bool
fn ne(&self, other: &Rhs) -> bool
Tests for
!=. The default implementation is almost always sufficient,
and should not be overridden without very good reason.Source§impl WireDecode for EnableWinsFlag<u64>
impl WireDecode for EnableWinsFlag<u64>
fn decode_wire(cursor: &mut WireCursor<'_>) -> Result<Self, WireError>
Source§fn decode_wire_with_collection_limits(
cursor: &mut WireCursor<'_>,
limits: CollectionLimits,
) -> 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.
Source§fn decode_wire_with_limits(
cursor: &mut WireCursor<'_>,
collections: CollectionLimits,
_max_records: Option<usize>,
) -> Result<Self, WireError>
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.
Source§fn from_wire_bytes_with_collection_limits(
bytes: &[u8],
limits: CollectionLimits,
) -> Result<Self, WireError>
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>
Source§impl WireEncode for EnableWinsFlag<u64>
impl WireEncode for EnableWinsFlag<u64>
fn encode_wire(&self, out: &mut Vec<u8>) -> Result<(), WireError>
fn to_wire_bytes(&self) -> Result<Vec<u8>, WireError>
Source§impl WireSchema for EnableWinsFlag<u64>
impl WireSchema for EnableWinsFlag<u64>
const REQUIRES_ARITY: bool = false
Source§fn wire_schema() -> Cow<'static, [u8]>
fn wire_schema() -> Cow<'static, [u8]>
Borrow fixed identities; return owned bytes for composed schemas.
impl<K: Eq + Ord> Eq for EnableWinsFlag<K>
impl<K: Ord> StructuralPartialEq for EnableWinsFlag<K>
Auto Trait Implementations§
impl<K> Freeze for EnableWinsFlag<K>
impl<K> RefUnwindSafe for EnableWinsFlag<K>where
K: RefUnwindSafe,
impl<K> Send for EnableWinsFlag<K>where
K: Send,
impl<K> Sync for EnableWinsFlag<K>where
K: Sync,
impl<K> Unpin for EnableWinsFlag<K>
impl<K> UnsafeUnpin for EnableWinsFlag<K>
impl<K> UnwindSafe for EnableWinsFlag<K>where
K: RefUnwindSafe,
Blanket Implementations§
Source§impl<T> Any for Twhere
T: 'static + ?Sized,
impl<T> Any for Twhere
T: 'static + ?Sized,
Source§fn type_id(&self) -> TypeId
fn type_id(&self) -> TypeId
Gets the
TypeId of self. Read moreSource§impl<T> Borrow<T> for Twhere
T: ?Sized,
impl<T> Borrow<T> for Twhere
T: ?Sized,
Source§fn borrow(&self) -> &T
fn borrow(&self) -> &T
Immutably borrows from an owned value. Read more
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§unsafe fn clone_to_uninit(&self, dest: *mut u8)
unsafe fn clone_to_uninit(&self, dest: *mut u8)
🔬This is a nightly-only experimental API. (
clone_to_uninit)Performs copy-assignment from
self to dest. Read moreSource§impl<T, U> Into<U> for Twhere
U: From<T>,
impl<T, U> Into<U> for Twhere
U: From<T>,
Source§fn into(self) -> U
fn into(self) -> U
Calls U::from(self).
That is, this conversion is whatever the implementation of
From<T> for U chooses to do.