rdts
API
Generated with
rdts/rdts/rdts.time/Dots/partialOrder

partialOrder

rdts.time.Dots.partialOrder
object partialOrder extends PartialOrdering[Dots]

Attributes

Graph
Supertypes
trait PartialOrdering[Dots]
trait Equiv[Dots]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type

Members list

Value members

Concrete methods

override def lteq(x: Dots, y: Dots): Boolean

Attributes

Definition Classes
PartialOrdering
override def tryCompare(x: Dots, y: Dots): Option[Int]

Attributes

Definition Classes
PartialOrdering

Inherited methods

def equiv(x: Dots, y: Dots): Boolean

Attributes

Inherited from:
PartialOrdering
def gt(x: Dots, y: Dots): Boolean

Attributes

Inherited from:
PartialOrdering
def gteq(x: Dots, y: Dots): Boolean

Attributes

Inherited from:
PartialOrdering
def lt(x: Dots, y: Dots): Boolean

Attributes

Inherited from:
PartialOrdering
def reverse: PartialOrdering[Dots]

Attributes

Inherited from:
PartialOrdering
Generated with