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

util

rdts.datatypes.experiments.protocols.paper.util
object util

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
util.type

Members list

Type members

Classlikes

enum Agreement[+A]

Attributes

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

Value members

Concrete methods

def updateIf[P : Bottom](condition: Boolean)(update: => P): P
Generated with