rdts
API
Generated with
rdts/rdts/rdts.protocols/rdts.protocols.old/rdts.protocols.old.simplified/GeneralizedPaxos/consensus

consensus

rdts.protocols.old.simplified.GeneralizedPaxos.consensus
object consensus extends Consensus[GeneralizedPaxos]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
consensus.type

Members list

Value members

Concrete methods

override def empty[A]: GeneralizedPaxos[A]

Attributes

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

Attributes

Definition Classes

Extensions

Extensions

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

Attributes

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

Attributes

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

Attributes

Definition Classes

Inherited extensions

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

Attributes

Inherited from:
Consensus
Generated with