kofre
API
Generated with
kofre/kofre/kofre.datatypes/kofre.datatypes.contextual/CausalQueue/syntax

syntax

kofre.datatypes.contextual.CausalQueue.syntax
implicit class syntax[C, T](container: C) extends OpsSyntaxHelper[C, CausalQueue[T]]

Attributes

Graph
Supertypes
trait OpsTypes[C, CausalQueue[T]]
class Object
trait Matchable
class Any

Members list

Type members

Inherited types

final type CausalMutator = IsCausalMutator ?=> C

Attributes

Inherited from:
OpsTypes
final type IdMutator = ReplicaId ?=> Mutator

Attributes

Inherited from:
OpsTypes
final type IsCausalMutator = PermCausalMutate[C, CausalQueue[T]]

Attributes

Inherited from:
OpsTypes
final type IsMutator = PermMutate[C, CausalQueue[T]]

Attributes

Inherited from:
OpsTypes
final type IsQuery = PermQuery[C, CausalQueue[T]]

Attributes

Inherited from:
OpsTypes
final type Mutator = IsMutator ?=> C

Attributes

Inherited from:
OpsTypes

Value members

Concrete methods

def dequeue(using IsCausalMutator)(): C
def elements(using IsQuery): Queue[T]
def enqueue(using ReplicaId, IsCausalMutator)(e: T): C
def head(using IsQuery): T
def removeBy(using IsCausalMutator)(p: T => Boolean): C

Inherited methods

def delta(l: CausalQueue[T])(using perm: IsMutator): C

Attributes

Inherited from:
OpsSyntaxHelper
def delta(l: Dotted[CausalQueue[T]])(using perm: IsCausalMutator): C

Attributes

Inherited from:
OpsSyntaxHelper

Extensions

Inherited extensions

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

Attributes

Inherited from:
OpsSyntaxHelper
extension (l: CausalQueue[T])
def mutator: Mutator

Attributes

Inherited from:
OpsSyntaxHelper
extension (l: Dotted[CausalQueue[T]])(using perm: IsCausalMutator)
def mutator: C

Attributes

Inherited from:
OpsSyntaxHelper
Generated with