Trait/Object

zio.prelude

PartialOrd

Related Docs: object PartialOrd | package prelude

Permalink

trait PartialOrd[-A] extends Equal[A]

PartialOrd[A] provides implicit evidence that values of type A have a partial ordering.

Self Type
PartialOrd[A]
Annotations
@implicitNotFound( ... )
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PartialOrd
  2. Equal
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def checkCompare(l: A, r: A): PartialOrdering

    Permalink

    Returns the result of comparing two values of type A, if the order is defined between l and r.

    Returns the result of comparing two values of type A, if the order is defined between l and r.

    Attributes
    protected

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

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

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. final def both[B](that: ⇒ PartialOrd[B]): PartialOrd[(A, B)]

    Permalink

    Constructs an PartialOrd[(A, B)] given an PartialOrd[A] and PartialOrd[B] by first comparing the A values, and then if the A values are equal comparing the B values

  6. final def both[B](that: ⇒ Equal[B]): Equal[(A, B)]

    Permalink

    Constructs an Equal[(A, B)] given an Equal[A] and Equal[B] by first comparing the A values for equality and then comparing the B values for equality, if necessary.

    Constructs an Equal[(A, B)] given an Equal[A] and Equal[B] by first comparing the A values for equality and then comparing the B values for equality, if necessary.

    Definition Classes
    Equal
  7. final def bothWith[B, C](that: ⇒ PartialOrd[B])(f: (C) ⇒ (A, B)): PartialOrd[C]

    Permalink

    Constructs an PartialOrd[C] given an PartialOrd[A], an PartialOrd[B] and a function f to transform a C value into an (A, B).

    Constructs an PartialOrd[C] given an PartialOrd[A], an PartialOrd[B] and a function f to transform a C value into an (A, B). The instance will convert each C value into an (A, B), compare the A values, and then if the A values are equal compare the B values.

  8. final def bothWith[B, C](that: ⇒ Equal[B])(f: (C) ⇒ (A, B)): Equal[C]

    Permalink

    Constructs an Equal[C] given an Equal[A], an Equal[B] and a function f to transform a C value into an (A, B).

    Constructs an Equal[C] given an Equal[A], an Equal[B] and a function f to transform a C value into an (A, B). The instance will convert each C value into an (A, B), compare the A values for equality, and then compare the B values for equality if necessary.

    Definition Classes
    Equal
  9. def checkEqual(l: A, r: A): Boolean

    Permalink

    Returns whether two values of type A are equal.

    Returns whether two values of type A are equal.

    Attributes
    protected
    Definition Classes
    PartialOrdEqual
  10. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  11. def compare(l: A, r: A): PartialOrdering

    Permalink

    Returns the result of comparing two values of type A.

  12. def contramap[B](f: (B) ⇒ A): PartialOrd[B]

    Permalink

    Constructs an PartialOrd[B] given an PartialOrd[A] and a function f to transform a B value into an A value.

    Constructs an PartialOrd[B] given an PartialOrd[A] and a function f to transform a B value into an A value. The instance will convert each B value into an A and compare the A values.

    Definition Classes
    PartialOrdEqual
  13. final def either[B](that: ⇒ PartialOrd[B]): PartialOrd[Either[A, B]]

    Permalink

    Constructs an PartialOrd[Either[A, B]] given an PartialOrd[A] and an PartialOrd[B].

    Constructs an PartialOrd[Either[A, B]] given an PartialOrd[A] and an PartialOrd[B]. If one value is Left and one value is Right it will treat the Left value as less than the Right value. Otherwise, it will compare the two values.

  14. final def either[B](that: ⇒ Equal[B]): Equal[Either[A, B]]

    Permalink

    Constructs an Equal[Either[A, B]] given an Equal[A] and an Equal[B].

    Constructs an Equal[Either[A, B]] given an Equal[A] and an Equal[B]. The instance will compare the Either[A, B] values and if both are Right or Left compare them for equality.

    Definition Classes
    Equal
  15. final def eitherWith[B, C](that: ⇒ PartialOrd[B])(f: (C) ⇒ Either[A, B]): PartialOrd[C]

    Permalink

    Constructs an PartialOrd[C] given an PartialOrd[A], an PartialOrd[B], and a function f to transform a C value into an Either[A, B].

    Constructs an PartialOrd[C] given an PartialOrd[A], an PartialOrd[B], and a function f to transform a C value into an Either[A, B]. The instance will convert each C value into an Either[A, B]. If one value is Left and one value is Right it will treat the Left value as less than the Right value. Otherwise, it will compare the two values.

  16. final def eitherWith[B, C](that: ⇒ Equal[B])(f: (C) ⇒ Either[A, B]): Equal[C]

    Permalink

    Constructs an Equal[C] given an Equal[A], an Equal[B], and a function f to transform a C value into an Either[A, B].

    Constructs an Equal[C] given an Equal[A], an Equal[B], and a function f to transform a C value into an Either[A, B]. The instance will convert each C value into an Either[A, B] and then if both are Right or Left compare them for equality.

    Definition Classes
    Equal
  17. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  18. final def equal(l: A, r: A): Boolean

    Permalink

    Returns whether two values of type A are equal.

    Returns whether two values of type A are equal.

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

    Permalink
    Definition Classes
    AnyRef → Any
  20. def finalize(): Unit

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

    Permalink
    Definition Classes
    AnyRef → Any
  22. def greater(l: A, r: A): Boolean

    Permalink

    Returns whether the left value is greater than the right value.

  23. def greaterOrEqual(l: A, r: A): Boolean

    Permalink

    Returns whether the left value is greater than or equal to the right value.

  24. def hashCode(): Int

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

    Permalink
    Definition Classes
    Any
  26. def less(l: A, r: A): Boolean

    Permalink

    Returns whether the left value is less than the right value.

  27. def lessOrEqual(l: A, r: A): Boolean

    Permalink

    Returns whether the left value is less than or equal to the right value.

  28. final def mapPartialOrdering(f: (PartialOrdering) ⇒ PartialOrdering): PartialOrd[A]

    Permalink

    Constructs a new PartialOrd[A] by mapping the result of this ordering using the specified function.

  29. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  30. final def notEqual(l: A, r: A): Boolean

    Permalink

    Returns whether two values of type A are not equal.

    Returns whether two values of type A are not equal.

    Definition Classes
    Equal
  31. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  32. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  33. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  34. def toScala[A1 <: A]: Equiv[A1]

    Permalink
    Definition Classes
    Equal
  35. def toString(): String

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

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Equal[A]

Inherited from AnyRef

Inherited from Any

Ungrouped