DeltaBuffer

kofre.syntax.DeltaBuffer
See theDeltaBuffer companion object
case class DeltaBuffer[State](state: State, deltaBuffer: List[State])

ReactiveCRDTs are Delta CRDTs that store applied deltas in their deltaBuffer attribute. Middleware should regularly take these deltas and ship them to other replicas, using applyDelta to apply them on the remote state. After deltas have been read and propagated by the middleware, it should call resetDeltaBuffer to empty the deltaBuffer.

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def applyDelta(delta: State)(using Lattice[State]): DeltaBuffer[State]
def clearDeltas(): DeltaBuffer[State]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product