rdts
API
Generated with
rdts/rdts/rdts.datatypes/rdts.datatypes.experiments/rdts.datatypes.experiments.protocols/rdts.datatypes.experiments.protocols.paper/Paxos/given_Consensus_Paxos

given_Consensus_Paxos

rdts.datatypes.experiments.protocols.paper.Paxos.given_Consensus_Paxos
object given_Consensus_Paxos extends Consensus[Paxos]

Attributes

Graph
Supertypes
trait Consensus[Paxos]
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

override def empty[A]: Paxos[A]

Attributes

Definition Classes
override def lattice[A]: Lattice[Paxos[A]]

Attributes

Definition Classes

Extensions

Extensions

extension [A](c: Paxos[A])
override def propose(value: A)(using LocalUid, Participants): Paxos[A]

Attributes

Definition Classes
extension [A](c: Paxos[A])
override def decision(using Participants): Option[A]

Attributes

Definition Classes
extension [A](c: Paxos[A])
override def upkeep()(using LocalUid, Participants): Paxos[A]

Attributes

Definition Classes

Inherited extensions

extension [A](c: Paxos[A])
def members(using Participants): Set[Uid]

Attributes

Inherited from:
Consensus
Generated with