kofre
API
Generated with
kofre/kofre/kofre.datatypes/kofre.datatypes.alternatives/kofre.datatypes.alternatives.rga/DeltaSequence/DeltaSequenceOps

DeltaSequenceOps

kofre.datatypes.alternatives.rga.DeltaSequence.DeltaSequenceOps
implicit class DeltaSequenceOps[C, A](container: C) extends OpsSyntaxHelper[C, DeltaSequence[A]]

Attributes

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

Attributes

Inherited from:
OpsTypes
final type IsMutator = PermMutate[C, DeltaSequence[A]]

Attributes

Inherited from:
OpsTypes
final type IsQuery = PermQuery[C, DeltaSequence[A]]

Attributes

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

Attributes

Inherited from:
OpsTypes

Value members

Concrete methods

def addRightDelta(replica: Uid, left: Vertex, insertee: Vertex, value: A)(using IsCausalMutator): C
def filterDelta(keep: A => Boolean)(using IsCausalMutator): C
def iterator(using IsQuery): Iterator[A]
def prependDelta(replica: Uid, value: A)(using IsCausalMutator): C
def removeDelta(v: Vertex)(using IsCausalMutator): C
def successor(v: Vertex)(using IsQuery): Option[Vertex]
def toList(using IsQuery): List[A]
def vertexIterator(using IsQuery): Iterator[Vertex]

Inherited methods

def delta(l: DeltaSequence[A])(using perm: IsMutator): C

Attributes

Inherited from:
OpsSyntaxHelper
def delta(l: Dotted[DeltaSequence[A]])(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: DeltaSequence[A])
def mutator: Mutator

Attributes

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

Attributes

Inherited from:
OpsSyntaxHelper
Generated with