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

Paxos

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

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(proposal: ProposalNum)(using LocalUid): Paxos[A]
def myHighestPromise(using LocalUid): Option[Promise[A]]
def phase2a(proposal: ProposalNum, v: A)(using LocalUid, Participants): Paxos[A]
def phase2a(v: A)(using LocalUid, Participants): Paxos[A]
def prepare()(using LocalUid): Paxos[A]
def promise(proposal: ProposalNum)(using LocalUid): Paxos[A]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with