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

rdts.datatypes.experiments.protocols.simplified

package rdts.datatypes.experiments.protocols.simplified

Members list

Type members

Classlikes

case class Accept[A](proposal: ProposalNum, value: A)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Accepted[A](proposal: ProposalNum, acceptor: Uid)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Acknowledge()

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
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 GeneralizedPaxos[A](rounds: Map[BallotNum, (LeaderElection, SimpleVoting[A])], myValue: Map[Uid, LastWriterWins[A]])

Attributes

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

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class MultiRoundVoting[A](rounds: Epoch[SimpleVoting[A]])

Attributes

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

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class Paxos[A](prepares: Set[Prepare], promises: Set[Promise[A]], accepts: Set[Accept[A]], accepted: Set[Accepted[A]], members: Map[Uid, Option[LastWriterWins[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 Prepare(proposal: ProposalNum)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
enum PrepareAbort

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Promise[A](proposal: ProposalNum, highestAccepted: Option[(ProposalNum, A)], acceptor: Uid)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class ProposalNum(number: Int, proposer: Uid)

Attributes

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

Attributes

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

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TwoPhaseCommit[A](transaction: Option[A], voting: SimpleVoting[PrepareAbort], acknowledgement: Set[Uid])

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Vote[A](value: A, voter: Uid)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object given_Ordering_BallotNum extends Ordering[BallotNum]

Attributes

Supertypes
trait Ordering[BallotNum]
trait PartialOrdering[BallotNum]
trait Equiv[BallotNum]
trait Serializable
trait Comparator[BallotNum]
class Object
trait Matchable
class Any
Show all
Self type

Types

Givens

Givens

Generated with