PosNegCounter

kofre.datatypes.PosNegCounter$
See thePosNegCounter companion class

A PNCounter (Positive-Negative Counter) is a Delta CRDT modeling a counter.

It is composed of two grow-only counters (see GCounterInterface) to enable both increments and decrements of the counter value.

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 PNCounterSyntax[C](container: C)(using x$2: ArdtOpsContains[C, PosNegCounter]) extends OpsSyntaxHelper[C, PosNegCounter]

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 fields

Implicits

Implicits

final implicit def PNCounterSyntax[C](container: C)(using x$2: ArdtOpsContains[C, PosNegCounter]): PNCounterSyntax[C]