rdts
API
Generated with
rdts/rdts/rdts.protocols/rdts.protocols.old/rdts.protocols.old.simplified/Paxos/given_Ordering_ProposalNum

given_Ordering_ProposalNum

rdts.protocols.old.simplified.Paxos.given_Ordering_ProposalNum
object given_Ordering_ProposalNum extends Ordering[ProposalNum]

Attributes

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

Members list

Type members

Inherited classlikes

class OrderingOps(lhs: T)

Attributes

Inherited from:
Ordering
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

override def compare(x: ProposalNum, y: ProposalNum): Int

Attributes

Definition Classes
Ordering -> Comparator

Inherited methods

override def equiv(x: ProposalNum, y: ProposalNum): Boolean

Attributes

Definition Classes
Ordering -> PartialOrdering -> Equiv
Inherited from:
Ordering
override def gt(x: ProposalNum, y: ProposalNum): Boolean

Attributes

Definition Classes
Ordering -> PartialOrdering
Inherited from:
Ordering
override def gteq(x: ProposalNum, y: ProposalNum): Boolean

Attributes

Definition Classes
Ordering -> PartialOrdering
Inherited from:
Ordering
def isReverseOf(other: Ordering[_]): Boolean

Attributes

Inherited from:
Ordering
override def lt(x: ProposalNum, y: ProposalNum): Boolean

Attributes

Definition Classes
Ordering -> PartialOrdering
Inherited from:
Ordering
override def lteq(x: ProposalNum, y: ProposalNum): Boolean

Attributes

Definition Classes
Ordering -> PartialOrdering
Inherited from:
Ordering
def max[U <: ProposalNum](x: U, y: U): U

Attributes

Inherited from:
Ordering
def min[U <: ProposalNum](x: U, y: U): U

Attributes

Inherited from:
Ordering
def on[U](f: U => ProposalNum): Ordering[U]

Attributes

Inherited from:
Ordering
def orElse(other: Ordering[ProposalNum]): Ordering[ProposalNum]

Attributes

Inherited from:
Ordering
def orElseBy[S](f: ProposalNum => S)(implicit ord: Ordering[S]): Ordering[ProposalNum]

Attributes

Inherited from:
Ordering
override def reverse: Ordering[ProposalNum]

Attributes

Definition Classes
Ordering -> PartialOrdering
Inherited from:
Ordering
def reversed(): Comparator[ProposalNum]

Attributes

Inherited from:
Comparator
def thenComparing[U <: Comparable[_ >: U <: <FromJavaObject>]](x$0: Function[_ >: ProposalNum <: <FromJavaObject>, _ <: U]): Comparator[ProposalNum]

Attributes

Inherited from:
Comparator
def thenComparing[U <: <FromJavaObject>](x$0: Function[_ >: ProposalNum <: <FromJavaObject>, _ <: U], x$1: Comparator[_ >: U <: <FromJavaObject>]): Comparator[ProposalNum]

Attributes

Inherited from:
Comparator
def thenComparing(x$0: Comparator[_ >: ProposalNum <: <FromJavaObject>]): Comparator[ProposalNum]

Attributes

Inherited from:
Comparator
def thenComparingDouble(x$0: ToDoubleFunction[_ >: ProposalNum <: <FromJavaObject>]): Comparator[ProposalNum]

Attributes

Inherited from:
Comparator
def thenComparingInt(x$0: ToIntFunction[_ >: ProposalNum <: <FromJavaObject>]): Comparator[ProposalNum]

Attributes

Inherited from:
Comparator
def thenComparingLong(x$0: ToLongFunction[_ >: ProposalNum <: <FromJavaObject>]): Comparator[ProposalNum]

Attributes

Inherited from:
Comparator
def tryCompare(x: ProposalNum, y: ProposalNum): Some[Int]

Attributes

Inherited from:
Ordering

Implicits

Inherited implicits

implicit def mkOrderingOps(lhs: ProposalNum): OrderingOps

Attributes

Inherited from:
Ordering
Generated with