Packages

t

scalaz

IsomorphismOrder

trait IsomorphismOrder[F, G] extends Order[F] with IsomorphismEqual[F, G]

Source
Order.scala
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IsomorphismOrder
  2. IsomorphismEqual
  3. Order
  4. Equal
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. trait EqualLaw extends AnyRef
    Definition Classes
    Equal
  2. trait OrderLaw extends EqualLaw
    Definition Classes
    Order

Abstract Value Members

  1. implicit abstract def G: Order[G]
    Definition Classes
    IsomorphismOrderIsomorphismEqual
  2. abstract def iso: Isomorphism.<=>[F, G]
    Definition Classes
    IsomorphismEqual

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def apply(x: F, y: F): Ordering
    Definition Classes
    Order
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  7. def contramap[B](f: (B) => F): Order[B]
    Definition Classes
    OrderEqual
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equal(x: F, y: F): Boolean
    Definition Classes
    IsomorphismOrderIsomorphismEqualOrderEqual
  10. def equalIsNatural: Boolean

    returns

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

    Definition Classes
    Equal
  11. def equalLaw: EqualLaw
    Definition Classes
    Equal
  12. val equalSyntax: EqualSyntax[F]
    Definition Classes
    Equal
  13. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  14. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  15. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. def greaterThan(x: F, y: F): Boolean
    Definition Classes
    Order
  17. def greaterThanOrEqual(x: F, y: F): Boolean
    Definition Classes
    Order
  18. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  19. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  20. def lessThan(x: F, y: F): Boolean
    Definition Classes
    Order
  21. def lessThanOrEqual(x: F, y: F): Boolean
    Definition Classes
    Order
  22. def max(x: F, y: F): F
    Definition Classes
    Order
  23. def min(x: F, y: F): F
    Definition Classes
    Order
  24. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  26. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. def order(x: F, y: F): Ordering
    Definition Classes
    IsomorphismOrderOrder
  28. def orderLaw: OrderLaw
    Definition Classes
    Order
  29. val orderSyntax: OrderSyntax[F]
    Definition Classes
    Order
  30. def reverseOrder: Order[F]
    Definition Classes
    Order
  31. def sort(x: F, y: F): (F, F)
    Definition Classes
    Order
  32. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  33. def toScalaOrdering: scala.math.Ordering[F]

    Definition Classes
    Order
    Note

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

    this.order(x, y)

  34. def toString(): String
    Definition Classes
    AnyRef → Any
  35. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  36. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  37. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from IsomorphismEqual[F, G]

Inherited from Order[F]

Inherited from Equal[F]

Inherited from AnyRef

Inherited from Any

Ungrouped