kofre
API
Generated with
kofre/kofre/kofre.datatypes/kofre.datatypes.alternatives/ResettableCounter/syntax

syntax

kofre.datatypes.alternatives.ResettableCounter.syntax
implicit class syntax[C](container: C) extends OpsSyntaxHelper[C, ResettableCounter]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Inherited types

final type CausalMutate = PermCausalMutate ?=> C

Attributes

Inherited from:
OpsTypes
final type IdMutate = ReplicaId ?=> Mutate

Attributes

Inherited from:
OpsTypes
final type Mutate = PermMutate ?=> C

Attributes

Inherited from:
OpsTypes
final type PermCausalMutate = PermCausalMutate[C, L]

Attributes

Inherited from:
OpsTypes
final type PermMutate = PermMutate[C, L]

Attributes

Inherited from:
OpsTypes
final type PermQuery = PermQuery[C, L]

Attributes

Inherited from:
OpsTypes

Value members

Concrete methods

def fresh(using ReplicaId)(): CausalMutate

Without using fresh, reset wins over concurrent increments/decrements When using fresh after every time deltas are shipped to other replicas, increments/decrements win over concurrent resets

Without using fresh, reset wins over concurrent increments/decrements When using fresh after every time deltas are shipped to other replicas, increments/decrements win over concurrent resets

Attributes

def reset()(using PermCausalMutate): C
def value(using PermQuery): Int

Extensions

Inherited extensions

extension [A](a: A)
def inheritContext(using PermCausalMutate): Dotted[A]

Attributes

Inherited from:
OpsSyntaxHelper
extension (l: ResettableCounter)
def mutator: Mutate

Attributes

Inherited from:
OpsSyntaxHelper
extension (l: Dotted[ResettableCounter])(using perm: PermCausalMutate)
def mutator: C

Attributes

Inherited from:
OpsSyntaxHelper
Generated with