rdts
API
Generated with
rdts/rdts/rdts.datatypes/rdts.datatypes.alternatives/rdts.datatypes.alternatives.rga/DeltaSequence

DeltaSequence

rdts.datatypes.alternatives.rga.DeltaSequence
See theDeltaSequence companion object
case class DeltaSequence[A](vertices: ReplicatedSet[Vertex], edges: DeltaSequenceOrder, values: Map[Vertex, A])

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Type members

Types

type C = Dotted[DeltaSequence[A]]

Value members

Concrete methods

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

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with