rdts
API
Generated with
rdts/rdts/rdts.protocols/rdts.protocols.raft/RaftToken

RaftToken

rdts.protocols.raft.RaftToken
case class RaftToken(id: Long, owner: Uid, value: String)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def same(other: RaftToken): Boolean

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with