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

consensus

rdts.datatypes.experiments.protocols.Paxos.consensus
object consensus extends Consensus[Paxos]

Attributes

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

Members list

Extensions

Extensions

extension [A](c: Paxos[A])
override def write(value: A)(using LocalUid): Paxos[A]

Attributes

Definition Classes
extension [A](c: Paxos[A])
override def read: Option[A]

Attributes

Definition Classes
extension [A](c: Paxos[A])
override def members: Set[Uid]

Attributes

Definition Classes
extension [A](c: Paxos[A])
override def reset(newMembers: Set[Uid]): Paxos[A]

Attributes

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

Attributes

Definition Classes
Generated with