rdts
API
Generated with
rdts/rdts/rdts.datatypes/GrowOnlyList

GrowOnlyList

rdts.datatypes.GrowOnlyList
See theGrowOnlyList companion object
case class GrowOnlyList[E](order: Map[CausalTime, Set[CausalTime]], elements: Map[CausalTime, E])

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 insertAfter(predecessor: CausalTime, value: E): GrowOnlyList[E]
def insertAllAt(index: Int, elems: List[E]): GrowOnlyList[E]
def insertAt(index: Int, elem: E): GrowOnlyList[E]
def read(i: Int): Option[E]
def size: Int
def toLazyList: LazyList[E]
def without(elems: Set[E]): GrowOnlyList[E]

Returns a copy with some elements removed. DOES NOT WORK WHEN MERGING. This is only meant to be used when wrapped into another structure, such as an Epoch.

Returns a copy with some elements removed. DOES NOT WORK WHEN MERGING. This is only meant to be used when wrapped into another structure, such as an Epoch.

Attributes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product

Concrete fields

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