rdts
API
Generated with
rdts/rdts/rdts.datatypes/rdts.datatypes.contextual/CausalQueue

CausalQueue

rdts.datatypes.contextual.CausalQueue
See theCausalQueue companion object
case class CausalQueue[T](values: Queue[QueueElement[T]])

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 Delta = Dotted[CausalQueue[T]]

Value members

Concrete methods

def dequeue(): Delta
def elements: Queue[T]
def enqueue(using LocalUid)(e: T)(using context: Dots): Delta
def head: T
def removeBy(p: T => Boolean): Delta

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with