kofre
API
Generated with
kofre/kofre.datatypes.experiments/BoundedCounter/syntax

syntax

kofre.datatypes.experiments.BoundedCounter$.syntax
implicit class syntax[C](container: C) extends OpsSyntaxHelper[C, BoundedCounter]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Inherited types

final type IdMut[C] = ReplicaId ?=> 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
final type ReplicaId = ReplicaId

Attributes

Inherited from:
OpsTypes

Value members

Concrete methods

def addParticipants(part: Set[Uid])(using PermMutate): C
def allocate(value: Int): () ?=> C
def allocated(using PermQuery)(id: Uid): Int
def available(using PermQuery)(id: Uid): Int
def available(using ReplicaId, PermQuery): Int
def invariantOk(using PermQuery): Unit
def rebalance: () ?=> C
def reserved(using ReplicaId, PermQuery): Int
def reserved(using PermQuery)(id: Uid): Int
def transfer(amount: Int, target: Uid): () ?=> C

Extensions

Inherited extensions

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

Attributes

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

Attributes

Inherited from:
OpsSyntaxHelper
extension (l: L)
def mutator(using perm: PermMutate): C

Attributes

Inherited from:
OpsSyntaxHelper
Generated with