scalaz-core/scalaz/Order

Order

trait Order[F] extends Equal[F]

Safer version of scala.math.Ordering.

Companion
object
trait Equal[F]
class Object
trait Matchable
class Any
trait Enum[F]
trait IsomorphismEnum[F, G]

Type members

Classlikes

trait OrderLaw extends EqualLaw

Inherited classlikes

trait EqualLaw
Inherited from
Equal

Value members

Abstract methods

def order(x: F, y: F): Ordering

Concrete methods

def apply(x: F, y: F): Ordering
override
def contramap[B](f: B => F): Order[B]
Definition Classes
def equal(x: F, y: F): Boolean
def greaterThan(x: F, y: F): Boolean
def greaterThanOrEqual(x: F, y: F): Boolean
def lessThan(x: F, y: F): Boolean
def lessThanOrEqual(x: F, y: F): Boolean
def max(x: F, y: F): F
def min(x: F, y: F): F
def sort(x: F, y: F): (F, F)
def toScalaOrdering: Ordering[F]
Note

Order.fromScalaOrdering(toScalaOrdering).order(x, y) = this.order(x, y)

Inherited methods

def equalIsNatural: Boolean
Returns

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

Inherited from
Equal
def equalLaw: EqualLaw
Inherited from
Equal

Concrete fields

Inherited fields

val equalSyntax: EqualSyntax[F]
Inherited from
Equal