rdts
API
Generated with
rdts/rdts/rdts.syntax/DeltaAWLWWMContainer

DeltaAWLWWMContainer

rdts.syntax.DeltaAWLWWMContainer
See theDeltaAWLWWMContainer companion object
class DeltaAWLWWMContainer[K, V](val replicaId: LocalUid, initialState: State[K, V])

This is used for the encrypted todolist and associated benchmark

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def get(key: K): Option[V]
def merge(other: State[K, V]): Unit
def put(key: K, value: V): Unit
def putDelta(key: K, value: V): State[K, V]
def remove(key: K): Unit
def removeAllDelta(keys: Seq[K]): State[K, V]
def removeDelta(key: K): State[K, V]
def state: State[K, V]
def values: Map[K, V]

Concrete fields

Givens

Givens

Generated with