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

Consensus

rdts.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
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 result(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