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

ObserveRemoveMap

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

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 = Obrem[ObserveRemoveMap[K, V]]

Value members

Concrete methods

def clear(using HasDots[V])(): Delta
def contains(k: K): Boolean
def entries: Iterable[(K, V)]
def queryAllEntries: Iterable[V]
def queryKey[A](using Bottom[V])(k: K): V
def remove(using HasDots[V])(k: K): Delta
def removeAll(using Bottom[V], HasDots[V])(keys: Iterable[K]): Delta
def removeByValue(using HasDots[V])(cond: Dotted[V] => Boolean)(using context: Dots): Delta
def transform(using bot: Bottom[V], hd: HasDots[V])(k: K)(m: Dotted[V] => Dotted[V])(using context: Dots): Delta
def transformPlain(using LocalUid)(k: K)(m: Option[V] => Option[V])(using context: Dots): Delta
def update(using LocalUid)(k: K, v: V)(using context: Dots): Delta

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with