rdts
API
Generated with
rdts/rdts/rdts.datatypes/rdts.datatypes.experiments/rdts.datatypes.experiments.protocols/rdts.datatypes.experiments.protocols.old/Paxos

Paxos

rdts.datatypes.experiments.protocols.old.Paxos
See thePaxos companion object
case class Paxos[A](prepares: Set[Prepare], promises: Set[Promise[A]], accepts: Set[Accept[A]], accepteds: Set[Accepted[A]], members: Set[Uid])

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 accept(v: A)(using LocalUid): Paxos[A]
def accepted()(using LocalUid): Paxos[A]
def prepare()(using LocalUid): Paxos[A]
def promise()(using LocalUid): Paxos[A]
def read: Option[A]
def upkeep()(using LocalUid): Paxos[A]
def write(value: A)(using LocalUid): Paxos[A]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with