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

rdts.datatypes.experiments.protocols.messagebased

package rdts.datatypes.experiments.protocols.messagebased

Members list

Type members

Classlikes

enum Message

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
trait Messaging

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class MultiPaxos[A]
class MultiPaxos[A](using x$1: LocalUid) extends Messaging

Attributes

Supertypes
trait Messaging
class Object
trait Matchable
class Any
Generated with