kofre
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
kofre/kofre.protocol/BoundedCounter

BoundedCounter

kofre.protocol.BoundedCounter$
See theBoundedCounter companion class
object BoundedCounter

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

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 init(value: Int, replicaID: Id): BoundedCounter

Givens

Givens

Implicits

Implicits

final implicit def BoundedCounterSyntax[C](container: C)(using x$2: ArdtOpsContains[C, BoundedCounter]): BoundedCounterSyntax[C]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL