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: List[A], membershipChanging: Boolean)(using x$6: Bottom[C[Set[Uid]]], x$7: Bottom[D[A]], x$8: Consensus[C], x$9: Consensus[D], x$10: Lattice[C[Set[Uid]]], x$11: Lattice[D[A]])

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): Membership[A, C, D]
def currentMembers: Set[Uid]
def isMember(using LocalUid): Boolean
def read: List[A]
def removeMember(id: Uid)(using LocalUid): 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): Membership[A, C, D]
def write(value: A)(using LocalUid): Membership[A, C, D]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with