scalaz-core/scalaz/IsomorphismOrder

IsomorphismOrder

trait IsomorphismOrder[F, G] extends Order[F] with IsomorphismEqual[F, G]
trait Order[F]
trait Equal[F]
class Object
trait Matchable
class Any
trait IsomorphismEnum[F, G]

Type members

Inherited classlikes

trait EqualLaw
Inherited from
Equal
trait OrderLaw
Inherited from
Order

Value members

Concrete methods

override
def equal(x: F, y: F): Boolean
Definition Classes
override
def order(x: F, y: F): Ordering
Definition Classes

Inherited methods

def apply(x: F, y: F): Ordering
Inherited from
Order
override
def contramap[B](f: B => F): Order[B]
Definition Classes
Inherited from
Order
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
def greaterThan(x: F, y: F): Boolean
Inherited from
Order
def greaterThanOrEqual(x: F, y: F): Boolean
Inherited from
Order
def iso: IsoSet[F, G]
Inherited from
IsomorphismEqual
def lessThan(x: F, y: F): Boolean
Inherited from
Order
def lessThanOrEqual(x: F, y: F): Boolean
Inherited from
Order
def max(x: F, y: F): F
Inherited from
Order
def min(x: F, y: F): F
Inherited from
Order
def orderLaw: OrderLaw
Inherited from
Order
def reverseOrder: Order[F]
Inherited from
Order
def sort(x: F, y: F): (F, F)
Inherited from
Order
def toScalaOrdering: Ordering[F]
Note

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

Inherited from
Order

Inherited fields

val equalSyntax: EqualSyntax[F]
Inherited from
Equal
val orderSyntax: OrderSyntax[F]
Inherited from
Order

Implicits

Implicits

implicit
def G: Order[G]