syntax

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

Attributes

Graph
Supertypes
trait OpsTypes[C, ReplicatedSet[E]]
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

Attributes

Inherited from:
OpsTypes
final type IsMutator = PermMutate[C, ReplicatedSet[E]]

Attributes

Inherited from:
OpsTypes
final type IsQuery = PermQuery[C, ReplicatedSet[E]]

Attributes

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

Attributes

Inherited from:
OpsTypes

Value members

Concrete methods

def add(using ReplicaId)(e: E): CausalMutator
def addAll(using ReplicaId, IsCausalMutator)(elems: Iterable[E]): C
def addElem(using rid: ReplicaId, dots: Dots, isQuery: IsQuery)(e: E): Dotted[ReplicatedSet[E]]
def clear()(using IsQuery, IsCausalMutator): C
def contains(using IsQuery)(elem: E): Boolean
def elements(using IsQuery): Set[E]
def remove(using IsQuery, IsCausalMutator)(e: E): C
def removeAll(elems: Iterable[E])(using IsQuery, IsCausalMutator): C
def removeBy(cond: E => Boolean)(using IsQuery, IsCausalMutator): C
def removeElem(using rid: ReplicaId, dots: Dots, isQuery: IsQuery)(e: E): Dotted[ReplicatedSet[E]]

Inherited methods

def delta(l: ReplicatedSet[E])(using perm: IsMutator): C

Attributes

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

Attributes

Inherited from:
OpsSyntaxHelper

Extensions

Inherited extensions

extension [A](a: A)

Attributes

Inherited from:
OpsSyntaxHelper
extension (l: ReplicatedSet[E])

Attributes

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

Attributes

Inherited from:
OpsSyntaxHelper