rdts
API
Generated with
rdts/rdts/rdts.protocols/rdts.protocols.paper/Util/Agreement

Agreement

rdts.protocols.paper.Util.Agreement
enum Agreement[+A]

Attributes

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

Members list

Type members

Enum entries

final case class Decided[+A](value: A)
case Invalid extends Agreement[Nothing]
case Undecided extends Agreement[Nothing]
Generated with