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

Membership

rdts.datatypes.experiments.protocols.Membership
See theMembership companion object
case class Membership[A, C[_], D[_]](counter: Time, membersConsensus: C[Set[Uid]], innerConsensus: D[A], log: Map[Long, A], membershipChanging: Boolean, members: Set[Uid])

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def addMember(id: Uid)(using LocalUid, Consensus[C], Consensus[D]): Membership[A, C, D]
def currentMembers(using Consensus[C], Consensus[D]): Set[Uid]
def isMember(using LocalUid, Consensus[C], Consensus[D]): Boolean
def read: List[A]
def readDecisionsSince(time: Time): Iterable[A]
def removeMember(id: Uid)(using LocalUid, Consensus[C], Consensus[D]): Membership[A, C, D]
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Any
def upkeep()(using rid: LocalUid, logger: LogHack, cc: Consensus[C], cd: Consensus[D]): Membership[A, C, D]
def write(value: A)(using LocalUid, Consensus[C], Consensus[D]): Membership[A, C, D]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product

Givens

Givens

Generated with