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 GrowOnlyMap, 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 syntax[C, K, V](container: C) extends OpsSyntaxHelper[C, ObserveRemoveMap[K, V]]

Attributes

Graph
Supertypes
trait OpsTypes[C, ObserveRemoveMap[K, V]]
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]

Givens

Givens

given bottom[K, V]: Bottom[ObserveRemoveMap[K, V]]
given hasDots[K, V : HasDots]: HasDots[ObserveRemoveMap[K, V]]

Extensions

Extensions

extension [C, K, V](container: C)
def observeRemoveMap: syntax[C, K, V]

Implicits

Implicits

final implicit def syntax[C, K, V](container: C): syntax[C, K, V]