Object/Trait

zio.prelude

Ord

Related Docs: trait Ord | package prelude

Permalink

object Ord extends Lawful[Ord]

Linear Supertypes
ZLawful[Ord, Any], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Ord
  2. ZLawful
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. def +[Caps1[x] <: Ord[x], R1 <: Any](that: ZLawful[Caps1, R1]): ZLawful[Caps1, R1]

    Permalink
    Definition Classes
    ZLawful

  4. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  5. implicit def ChunkOrd[A](implicit arg0: Ord[A]): Ord[Chunk[A]]

    Permalink

    Derives an Ord[Chunk[A]] given an Ord[A].

  6. implicit def DeriveOrd[F[_], A](implicit derive: Derive[F, Ord], ord: Ord[A]): Ord[F[A]]

    Permalink

    Derives an Ord[F[A]] given a Derive[F, Ord] and an Ord[A].

  7. implicit def EitherOrd[A, B](implicit arg0: Ord[A], arg1: Ord[B]): Ord[Either[A, B]]

    Permalink

    Derives an Ord[Either[A, B]] given an Ord[A] and an Ord[B].

  8. implicit def ListOrd[A](implicit arg0: Ord[A]): Ord[List[A]]

    Permalink

    Derives an Ord[List[A]] given an Ord[A].

  9. implicit def NonEmptyChunkOrd[A](implicit arg0: Ord[A]): Ord[NonEmptyChunk[A]]

    Permalink

    Derives an Ord[NonEmptyChunk[A]] given an Ord[A].

  10. implicit def OptionOrd[A](implicit arg0: Ord[A]): Ord[Option[A]]

    Permalink

    Derives an Ord[Option[A]] given an Ord[A].

    Derives an Ord[Option[A]] given an Ord[A]. None will be treated as less than all other values.

  11. implicit val OrdContravariant: Contravariant[Ord]

    Permalink

    The Contravariant instance for Ord.

  12. implicit val OrdIdentityBoth: IdentityBoth[Ord]

    Permalink

    The IdentityBoth instance for Ord.

  13. implicit val OrdIdentityEither: IdentityEither[Ord]

    Permalink

    The IdentityEither instance for Ord.

  14. implicit def Tuple10Ord[A, B, C, D, E, F, G, H, I, J](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D], arg4: Ord[E], arg5: Ord[F], arg6: Ord[G], arg7: Ord[H], arg8: Ord[I], arg9: Ord[J]): Ord[(A, B, C, D, E, F, G, H, I, J)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  15. implicit def Tuple11Ord[A, B, C, D, E, F, G, H, I, J, K](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D], arg4: Ord[E], arg5: Ord[F], arg6: Ord[G], arg7: Ord[H], arg8: Ord[I], arg9: Ord[J], arg10: Ord[K]): Ord[(A, B, C, D, E, F, G, H, I, J, K)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  16. implicit def Tuple12Ord[A, B, C, D, E, F, G, H, I, J, K, L](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D], arg4: Ord[E], arg5: Ord[F], arg6: Ord[G], arg7: Ord[H], arg8: Ord[I], arg9: Ord[J], arg10: Ord[K], arg11: Ord[L]): Ord[(A, B, C, D, E, F, G, H, I, J, K, L)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  17. implicit def Tuple13Ord[A, B, C, D, E, F, G, H, I, J, K, L, M](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D], arg4: Ord[E], arg5: Ord[F], arg6: Ord[G], arg7: Ord[H], arg8: Ord[I], arg9: Ord[J], arg10: Ord[K], arg11: Ord[L], arg12: Ord[M]): Ord[(A, B, C, D, E, F, G, H, I, J, K, L, M)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  18. implicit def Tuple14Ord[A, B, C, D, E, F, G, H, I, J, K, L, M, N](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D], arg4: Ord[E], arg5: Ord[F], arg6: Ord[G], arg7: Ord[H], arg8: Ord[I], arg9: Ord[J], arg10: Ord[K], arg11: Ord[L], arg12: Ord[M], arg13: Ord[N]): Ord[(A, B, C, D, E, F, G, H, I, J, K, L, M, N)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  19. implicit def Tuple15Ord[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D], arg4: Ord[E], arg5: Ord[F], arg6: Ord[G], arg7: Ord[H], arg8: Ord[I], arg9: Ord[J], arg10: Ord[K], arg11: Ord[L], arg12: Ord[M], arg13: Ord[N], arg14: Ord[O]): Ord[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  20. implicit def Tuple16Ord[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D], arg4: Ord[E], arg5: Ord[F], arg6: Ord[G], arg7: Ord[H], arg8: Ord[I], arg9: Ord[J], arg10: Ord[K], arg11: Ord[L], arg12: Ord[M], arg13: Ord[N], arg14: Ord[O], arg15: Ord[P]): Ord[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  21. implicit def Tuple17Ord[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D], arg4: Ord[E], arg5: Ord[F], arg6: Ord[G], arg7: Ord[H], arg8: Ord[I], arg9: Ord[J], arg10: Ord[K], arg11: Ord[L], arg12: Ord[M], arg13: Ord[N], arg14: Ord[O], arg15: Ord[P], arg16: Ord[Q]): Ord[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  22. implicit def Tuple18Ord[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D], arg4: Ord[E], arg5: Ord[F], arg6: Ord[G], arg7: Ord[H], arg8: Ord[I], arg9: Ord[J], arg10: Ord[K], arg11: Ord[L], arg12: Ord[M], arg13: Ord[N], arg14: Ord[O], arg15: Ord[P], arg16: Ord[Q], arg17: Ord[R]): Ord[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  23. implicit def Tuple19Ord[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D], arg4: Ord[E], arg5: Ord[F], arg6: Ord[G], arg7: Ord[H], arg8: Ord[I], arg9: Ord[J], arg10: Ord[K], arg11: Ord[L], arg12: Ord[M], arg13: Ord[N], arg14: Ord[O], arg15: Ord[P], arg16: Ord[Q], arg17: Ord[R], arg18: Ord[S]): Ord[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  24. implicit def Tuple20Ord[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D], arg4: Ord[E], arg5: Ord[F], arg6: Ord[G], arg7: Ord[H], arg8: Ord[I], arg9: Ord[J], arg10: Ord[K], arg11: Ord[L], arg12: Ord[M], arg13: Ord[N], arg14: Ord[O], arg15: Ord[P], arg16: Ord[Q], arg17: Ord[R], arg18: Ord[S], arg19: Ord[T]): Ord[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  25. implicit def Tuple21Ord[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D], arg4: Ord[E], arg5: Ord[F], arg6: Ord[G], arg7: Ord[H], arg8: Ord[I], arg9: Ord[J], arg10: Ord[K], arg11: Ord[L], arg12: Ord[M], arg13: Ord[N], arg14: Ord[O], arg15: Ord[P], arg16: Ord[Q], arg17: Ord[R], arg18: Ord[S], arg19: Ord[T], arg20: Ord[U]): Ord[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  26. implicit def Tuple22Ord[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D], arg4: Ord[E], arg5: Ord[F], arg6: Ord[G], arg7: Ord[H], arg8: Ord[I], arg9: Ord[J], arg10: Ord[K], arg11: Ord[L], arg12: Ord[M], arg13: Ord[N], arg14: Ord[O], arg15: Ord[P], arg16: Ord[Q], arg17: Ord[R], arg18: Ord[S], arg19: Ord[T], arg20: Ord[U], arg21: Ord[V]): Ord[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  27. implicit def Tuple2Ord[A, B](implicit arg0: Ord[A], arg1: Ord[B]): Ord[(A, B)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  28. implicit def Tuple3Ord[A, B, C](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C]): Ord[(A, B, C)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  29. implicit def Tuple4Ord[A, B, C, D](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D]): Ord[(A, B, C, D)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  30. implicit def Tuple5Ord[A, B, C, D, E](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D], arg4: Ord[E]): Ord[(A, B, C, D, E)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  31. implicit def Tuple6Ord[A, B, C, D, E, F](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D], arg4: Ord[E], arg5: Ord[F]): Ord[(A, B, C, D, E, F)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  32. implicit def Tuple7Ord[A, B, C, D, E, F, G](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D], arg4: Ord[E], arg5: Ord[F], arg6: Ord[G]): Ord[(A, B, C, D, E, F, G)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  33. implicit def Tuple8Ord[A, B, C, D, E, F, G, H](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D], arg4: Ord[E], arg5: Ord[F], arg6: Ord[G], arg7: Ord[H]): Ord[(A, B, C, D, E, F, G, H)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  34. implicit def Tuple9Ord[A, B, C, D, E, F, G, H, I](implicit arg0: Ord[A], arg1: Ord[B], arg2: Ord[C], arg3: Ord[D], arg4: Ord[E], arg5: Ord[F], arg6: Ord[G], arg7: Ord[H], arg8: Ord[I]): Ord[(A, B, C, D, E, F, G, H, I)]

    Permalink

    Derives an Ord for a product type given an Ord for each element of the product type.

  35. implicit def VectorOrd[A](implicit arg0: Ord[A]): Ord[Vector[A]]

    Permalink

    Derives an Ord[Vector[A]] given an Ord[A].

  36. def apply[A](implicit ord: Ord[A]): Ord[A]

    Permalink

    Summons an implicit Ord[A].

  37. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  38. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  39. val complementLaw: Laws[Ord]

    Permalink

    For all values a1 and a2, a1 is less than or equal to a2 if and only if a2 is greater than or equal to a1.

  40. val connexityLaw1: Laws[Ord]

    Permalink

    For all values a1 and a2, a1 is less than or equal to a2 or a2 is less than or equal to a1.

  41. val connexityLaw2: Laws[Ord]

    Permalink

    For all values a1 and a2, a1 is greater than or equal to a2 or a2 is greater than or equal to a1.

  42. def default[A](implicit ord: scala.math.Ordering[A]): Ord[A]

    Permalink

    Constructs an Ord[A] from a scala.math.Ordering.

  43. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  44. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  45. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  46. def fromScala[A](implicit ordering: scala.math.Ordering[A]): Ord[A]

    Permalink

  47. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  48. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  49. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  50. val laws: Laws[Ord]

    Permalink

    The set of all laws that instances of Ord must satisfy.

    The set of all laws that instances of Ord must satisfy.

    Definition Classes
    Ord → ZLawful

  51. def make[A](ord: (A, A) ⇒ Ordering): Ord[A]

    Permalink

    Constructs an Ord[A] from a function.

    Constructs an Ord[A] from a function. The instance will be optimized to first compare the values for reference equality and then compare the values using the specified function.

  52. def makeFrom[A](ord: (A, A) ⇒ Ordering, equal0: Equal[A]): Ord[A]

    Permalink

    Constructs an instance from an ord function and a equal0 function.

    Constructs an instance from an ord function and a equal0 function. Since this takes a separate equal0, short-circuiting the equality check (failing fast) is possible.

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

    Permalink
    Definition Classes
    AnyRef

  54. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  55. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    AnyRef

  57. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  58. final def wait(): Unit

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

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

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

  60. final def wait(arg0: Long): Unit

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

Inherited from ZLawful[Ord, Any]

Inherited from AnyRef

Inherited from Any

Ungrouped