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

rdts.datatypes.experiments.protocols.raft

package rdts.datatypes.experiments.protocols.raft

Members list

Type members

Classlikes

case class RaftState[T](participants: Set[Uid], leaderVotes: Set[Vote], valueProposals: Set[Propose[T]])

Attributes

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

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
RaftState.type
case class RaftToken(id: Long, owner: Uid, value: String)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class RaftTokens(replicaID: Uid, tokenAgreement: RaftState[RaftToken], want: DeltaBuffer[Dotted[ReplicatedSet[RaftToken]]], tokenFreed: DeltaBuffer[Dotted[ReplicatedSet[RaftToken]]])

Attributes

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

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
RaftTokens.type
Generated with