rdts
API
Generated with
rdts/rdts/rdts.datatypes/ObserveRemoveMap

ObserveRemoveMap

rdts.datatypes.ObserveRemoveMap
See theObserveRemoveMap companion object
case class ObserveRemoveMap[K, V](inner: Map[K, Entry[V]], removed: Dots)

Attributes

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

Members list

Type members

Types

type Delta = ObserveRemoveMap[K, V]

Value members

Concrete methods

def clear(): Delta
def contains(k: K): Boolean
def entries: Iterable[(K, V)]
def get(k: K): Option[V]
def queryAllEntries: Iterable[V]
def remove(k: K): Delta
def removeAll(keys: Iterable[K]): Delta
def removeBy(cond: K => Boolean): Delta
def removeByValue(cond: V => Boolean): Delta
def transform(k: K)(m: Option[V] => Option[V])(using LocalUid): Delta
def update(k: K, v: V)(using LocalUid): Delta

merges v into the current value stored in the map

merges v into the current value stored in the map

Attributes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product

Concrete fields

lazy val observed: Dots
Generated with