final case class GSet[A] extends DeltaReplicatedData with ReplicatedDelta with ReplicatedDataSerialization with FastMerge with Product with Serializable
Implements a 'Add Set' CRDT, also called a 'G-Set'. You can't remove elements of a G-Set.
It is described in the paper A comprehensive study of Convergent and Commutative Replicated Data Types.
A G-Set doesn't accumulate any garbage apart from the elements themselves.
This class is immutable, i.e. "modifying" methods return a new instance.
- Annotations
- @SerialVersionUID()
- Source
- GSet.scala
- Alphabetic
- By Inheritance
- GSet
- Product
- Equals
- FastMerge
- ReplicatedDataSerialization
- Serializable
- ReplicatedDelta
- DeltaReplicatedData
- ReplicatedData
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- Protected
Type Members
- type D = GSet[A]
The type of the delta.
The type of the delta. To be specified by subclass. It may be the same type as
T
or a different type if needed. For exampleGSet
uses the same type andORSet
uses different types.- Definition Classes
- GSet → DeltaReplicatedData
- type T = GSet[A]
The type of the concrete implementation, e.g.
The type of the concrete implementation, e.g.
GSet[A]
. To be specified by subclass.- Definition Classes
- GSet → ReplicatedData
Value Members
- def +(element: A): GSet[A]
Adds an element to the set
- def add(element: A): GSet[A]
Adds an element to the set
- def contains(a: A): Boolean
- def copy(e: Set[A]): GSet[A]
- val delta: Option[GSet[A]]
The accumulated delta of mutator operations since previous #resetDelta.
The accumulated delta of mutator operations since previous #resetDelta. When the
Replicator
invokes themodify
function of theUpdate
message and the user code is invoking one or more mutator operations the data is collecting the delta of the operations and makes it available for theReplicator
with the #delta accessor. Themodify
function shall still return the full state in the same way asReplicatedData
without support for deltas.- Definition Classes
- GSet → DeltaReplicatedData
- val elements: Set[A]
- def getElements(): Set[A]
Java API
- def isEmpty: Boolean
- def merge(that: GSet[A]): GSet[A]
Monotonic merge function.
Monotonic merge function.
- Definition Classes
- GSet → ReplicatedData
- def mergeDelta(thatDelta: GSet[A]): GSet[A]
When delta is merged into the full state this method is used.
When delta is merged into the full state this method is used. When the type
D
of the delta is of the same type as the full stateT
this method can be implemented by delegating tomerge
.- Definition Classes
- GSet → DeltaReplicatedData
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- def resetDelta: GSet[A]
Reset collection of deltas from mutator operations.
Reset collection of deltas from mutator operations. When the
Replicator
invokes themodify
function of theUpdate
message the delta is always "reset" and when the user code is invoking one or more mutator operations the data is collecting the delta of the operations and makes it available for theReplicator
with the #delta accessor. When theReplicator
has grabbed thedelta
it will invoke this method to get a clean data instance without the delta.- Definition Classes
- GSet → DeltaReplicatedData
- def size: Int
- def toString(): String
- Definition Classes
- GSet → AnyRef → Any
- def zero: GSet[A]
The empty full state.
The empty full state. This is used when a delta is received and no existing full state exists on the receiving side. Then the delta is merged into the
zero
to create the initial full state.- Definition Classes
- GSet → ReplicatedDelta