rdts
API
Generated with
rdts/rdts/rdts.datatypes/GrowOnlyCounter

GrowOnlyCounter

rdts.datatypes.GrowOnlyCounter
See theGrowOnlyCounter companion object
case class GrowOnlyCounter(inner: Map[Uid, Int])

Attributes

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

Members list

Value members

Concrete methods

def add(amount: Int)(using localReplicaId: LocalUid): GrowOnlyCounter
def inc()(using localReplicaId: LocalUid): GrowOnlyCounter

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product

Concrete fields

lazy val value: Int
Generated with