rdts
API
Generated with
rdts/rdts/rdts.datatypes/rdts.datatypes.experiments/rdts.datatypes.experiments.protocols/Consensus

Consensus

rdts.datatypes.experiments.protocols.Consensus
See theConsensus companion object
trait Consensus[C[_]]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object consensus
object consensus
object consensus
object consensus

Members list

Value members

Abstract methods

def empty[A]: C[A]
def lattice[A]: Lattice[C[A]]

Extensions

Extensions

extension [A](c: C[A])
def propose(value: A)(using LocalUid, Participants): C[A]
extension [A](c: C[A])
def decision(using Participants): Option[A]
extension [A](c: C[A])
def members(using Participants): Set[Uid]
extension [A](c: C[A])
def upkeep()(using LocalUid, Participants): C[A]
Generated with