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

Consensus

rdts.datatypes.experiments.protocols.Consensus
trait Consensus[C[_]]

Attributes

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

Members list

Extensions

Extensions

extension [A](c: C[A])
def write(value: A)(using LocalUid): C[A]
extension [A](c: C[A])
def read: Option[A]
extension [A](c: C[A])
def members: Set[Uid]
extension [A](c: C[A])
def reset(newMembers: Set[Uid]): C[A]
extension [A](c: C[A])
def upkeep()(using LocalUid): C[A]
Generated with