rdts
API
Generated with
rdts/rdts/rdts.datatypes/rdts.datatypes.experiments/RubisInterface/State

State

rdts.datatypes.experiments.RubisInterface.State
case class State(current: (ReplicatedSet[(User, Uid)], Map[User, Uid], Map[AID, AuctionData]))

Attributes

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

Members list

Type members

Types

type Delta = State

Value members

Concrete methods

def closeAuction(auctionId: AID): Delta
def openAuction(auctionId: AID): Delta
def placeBid(auctionId: AID, userId: User, price: Int)(using LocalUid): Delta
def requestRegisterUser(using LocalUid)(userId: User)(using context: Dots): Dotted[Delta]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with