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

rdts.datatypes.experiments.protocols

package rdts.datatypes.experiments.protocols

Members list

Packages

package rdts.datatypes.experiments.protocols.messagebased
package rdts.datatypes.experiments.protocols.old
package rdts.datatypes.experiments.protocols.paper
package rdts.datatypes.experiments.protocols.raft

Type members

Classlikes

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

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

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
BallotNum.type
case class Causal[T](deltas: Set[Dotted[T]])(using evidence$1: Lattice[T], evidence$2: HasDots[T], evidence$3: Bottom[T])

totally not incredibly inefficient

totally not incredibly inefficient

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
trait Consensus[C[_]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object consensus
object consensus
object consensus
object consensus
object Consensus

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Consensus.type
case class ExampleTokens(calendarAinteractionA: Token, calendarBinteractionA: Token)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Exclusive[T](token: Token, value: T)(using evidence$1: Lattice[T], evidence$2: Bottom[T])

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Membership[A, C[_], D[_]](rounds: Epoch[MembershipRound[A, C, D]], log: Map[Long, A])

Attributes

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

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Membership.type
case class MembershipRound[A, C[_], D[_]](membersConsensus: C[Set[Uid]], innerConsensus: D[A], membershipChanging: Boolean, members: Set[Uid])

Attributes

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

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
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
case class MultiRoundVoting[A](rounds: Epoch[Voting[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
enum MultipaxosPhase

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Ownership(epoch: Long, owner: Uid)

Attributes

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

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Ownership.type
case class Participants(members: Set[Uid])

Attributes

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

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
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
enum PrepareAbort

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Token(os: Ownership, wants: ReplicatedSet[Uid])

Attributes

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

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Token.type
case class TwoPhaseCommit[A](transaction: Option[A], voting: Voting[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
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

type Proposal
Generated with