ObserveRemoveMap

kofre.datatypes.ObserveRemoveMap$
See theObserveRemoveMap companion class

An ObserveRemoveMap (Observed-Remove Map) is a Delta CRDT that models a map from an arbitrary key type to nested causal Delta CRDTs. In contrast to GrowMap, ObserveRemoveMap allows the removal of key/value pairs from the map.

The nested CRDTs can be queried/mutated by calling the queryKey/mutateKey methods with a DeltaQuery/DeltaMutator generated by a CRDT Interface method of the nested CRDT. For example, to enable a nested EWFlag, one would pass EWFlagInterface.enable() as the DeltaMutator to mutateKey.

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

implicit class ORMapSyntax[C, K, V](container: C)(using x$2: ArdtOpsContains[C, ObserveRemoveMap[K, V]]) extends OpsSyntaxHelper[C, ObserveRemoveMap[K, V]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def empty[K, V]: ObserveRemoveMap[K, V]
def make[K, V](dm: DotMap[K, V], cc: Dots): Dotted[ObserveRemoveMap[K, V]]

Givens

Implicits

Implicits

final implicit def ORMapSyntax[C, K, V](container: C)(using x$2: ArdtOpsContains[C, ObserveRemoveMap[K, V]]): ORMapSyntax[C, K, V]