rdts
API
Generated with
rdts/rdts/rdts.protocols/rdts.protocols.paper

rdts.protocols.paper

package rdts.protocols.paper

Members list

Type members

Classlikes

case class BallotNum(uid: Uid, counter: Long)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class MultiPaxos[A](rounds: Epoch[Paxos[A]], log: Map[Long, A])

Attributes

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

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
MultiPaxos.type
enum MultipaxosPhase

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Paxos[A](rounds: Map[BallotNum, PaxosRound[A]])

Attributes

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

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Paxos.type
case class PaxosRound[A](leaderElection: LeaderElection, proposals: Voting[A])

Attributes

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

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Util.type
case class Vote[A](voter: Uid, value: A)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Voting[A](votes: Set[Vote[A]])

Attributes

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

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Voting.type

Types

Generated with