rdts
API
Generated with
rdts/rdts/rdts.datatypes/ReplicatedList

ReplicatedList

rdts.datatypes.ReplicatedList
See theReplicatedList companion object
case class ReplicatedList[E](causalOrder: Map[Dot, Dots], elements: Map[Dot, E], times: Map[Dot, CausalTime], removed: Dots)

Attributes

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

Members list

Value members

Concrete methods

def append(e: E)(using LocalUid): ReplicatedList[E]
def appendAll(elements: Iterable[E])(using LocalUid): ReplicatedList[E]
def delete(index: Int): ReplicatedList[E]
def deleteBy(test: E => Boolean): ReplicatedList[E]
def findOptimizedInsertionPoint(predecessor: Dot): Dot
def insert(index: Int, elem: E)(using LocalUid): ReplicatedList[E]
def insertAfter(predecessor: Dot, values: Iterable[E])(using LocalUid): ReplicatedList[E]
def insertAll(index: Int, elems: Iterable[E])(using LocalUid): ReplicatedList[E]
def insertAt(index: Int, elem: E)(using LocalUid): ReplicatedList[E]
def prepend(e: E)(using LocalUid): ReplicatedList[E]
def prependAll(e: Iterable[E])(using LocalUid): ReplicatedList[E]
def read(i: Int): Option[E]
def removeIndex(index: Int): ReplicatedList[E]
def size: Int
def toLazyList: LazyList[E]
def update(index: Int, elem: E)(using LocalUid): ReplicatedList[E]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product

Concrete fields

lazy val dotList: Seq[Dot]
lazy val now: Option[CausalTime]
lazy val observed: Dots
lazy val toList: List[E]
lazy val toposort: Seq[Dot]
Generated with