ListOrder

Type Members

trait EqualLaw extends AnyRef

Definition Classes
Equal
trait OrderLaw extends EqualLaw

Definition Classes
Order

Abstract Value Members

implicit abstract def A: Order[A]

Definition Classes
ListOrder → ListEqual

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
def apply(x: List[A], y: List[A]): Ordering

Definition Classes
Order
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def contramap[B](f: (B) ⇒ List[A]): Order[B]

Definition Classes
Order → Equal
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equal(a1: List[A], a2: List[A]): Boolean

Definition Classes
ListEqual → Equal
def equalIsNatural: Boolean

returns
true, if equal(f1, f2) is known to be equivalent to f1 == f2

Definition Classes
ListEqual → Equal
def equalLaw: EqualLaw

Definition Classes
Equal
val equalSyntax: EqualSyntax[List[A]]

Definition Classes
Equal
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def greaterThan(x: List[A], y: List[A]): Boolean

Definition Classes
Order
def greaterThanOrEqual(x: List[A], y: List[A]): Boolean

Definition Classes
Order
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def lessThan(x: List[A], y: List[A]): Boolean

Definition Classes
Order
def lessThanOrEqual(x: List[A], y: List[A]): Boolean

Definition Classes
Order
def max(x: List[A], y: List[A]): List[A]

Definition Classes
Order
def min(x: List[A], y: List[A]): List[A]

Definition Classes
Order
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def order(a1: List[A], a2: List[A]): Ordering

Definition Classes
ListOrder → Order
Annotations
@tailrec()
def orderLaw: OrderLaw

Definition Classes
Order
val orderSyntax: OrderSyntax[List[A]]

Definition Classes
Order
final def reverseOrder: Order[List[A]]

Definition Classes
Order
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toScalaOrdering: scala.math.Ordering[List[A]]

Definition Classes
Order
Note
Order.fromScalaOrdering(toScalaOrdering).order(x, y)
this.order(x, y)
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

trait ListOrder[A] extends Order[List[A]] with ListEqual[A]

Type Members

trait EqualLaw extends AnyRef

trait OrderLaw extends EqualLaw

Abstract Value Members

implicit abstract def A: Order[A]

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

def apply(x: List[A], y: List[A]): Ordering

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def contramap[B](f: (B) ⇒ List[A]): Order[B]

final def eq(arg0: AnyRef): Boolean

def equal(a1: List[A], a2: List[A]): Boolean

def equalIsNatural: Boolean

def equalLaw: EqualLaw

val equalSyntax: EqualSyntax[List[A]]

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def greaterThan(x: List[A], y: List[A]): Boolean

def greaterThanOrEqual(x: List[A], y: List[A]): Boolean

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def lessThan(x: List[A], y: List[A]): Boolean

def lessThanOrEqual(x: List[A], y: List[A]): Boolean

def max(x: List[A], y: List[A]): List[A]

def min(x: List[A], y: List[A]): List[A]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def order(a1: List[A], a2: List[A]): Ordering

def orderLaw: OrderLaw

val orderSyntax: OrderSyntax[List[A]]

final def reverseOrder: Order[List[A]]

final def synchronized[T0](arg0: ⇒ T0): T0

def toScalaOrdering: scala.math.Ordering[List[A]]

this.order(x, y)

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from ListEqual[A]

Inherited from Order[List[A]]

Inherited from Equal[List[A]]

Inherited from AnyRef

Inherited from Any

Ungrouped

`this.order(x, y)`