Object/Trait

zio.prelude

PartialOrd

Related Docs: trait PartialOrd | package prelude

Permalink

object PartialOrd extends Lawful[PartialOrd]

Linear Supertypes
ZLawful[PartialOrd, Any], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PartialOrd
  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] <: PartialOrd[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 ChunkPartialOrd[A](implicit arg0: PartialOrd[A]): PartialOrd[Chunk[A]]

    Permalink

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

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

    Permalink

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

  7. implicit def EitherPartialOrd[A, B](implicit arg0: PartialOrd[A], arg1: PartialOrd[B]): PartialOrd[Either[A, B]]

    Permalink

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

  8. implicit def ListPartialOrd[A](implicit arg0: PartialOrd[A]): PartialOrd[List[A]]

    Permalink

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

  9. implicit def NonEmptyChunkPartialOrd[A](implicit arg0: PartialOrd[A]): PartialOrd[NonEmptyChunk[A]]

    Permalink

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

  10. implicit def OptionPartialOrd[A](implicit arg0: PartialOrd[A]): PartialOrd[Option[A]]

    Permalink

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

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

  11. implicit val PartialOrdContravariant: Contravariant[PartialOrd]

    Permalink

    The Contravariant instance for PartialOrd.

  12. implicit val PartialOrdIdentityBoth: IdentityBoth[PartialOrd]

    Permalink

    The IdentityBoth (and thus AssociativeBoth) instance for PartialOrd.

  13. implicit val PartialOrdIdentityEither: IdentityEither[PartialOrd]

    Permalink

    The IdentityEither (and thus AssociativeEither) instance for PartialOrd.

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

  26. implicit def Tuple22PartialOrd[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V](implicit arg0: PartialOrd[A], arg1: PartialOrd[B], arg2: PartialOrd[C], arg3: PartialOrd[D], arg4: PartialOrd[E], arg5: PartialOrd[F], arg6: PartialOrd[G], arg7: PartialOrd[H], arg8: PartialOrd[I], arg9: PartialOrd[J], arg10: PartialOrd[K], arg11: PartialOrd[L], arg12: PartialOrd[M], arg13: PartialOrd[N], arg14: PartialOrd[O], arg15: PartialOrd[P], arg16: PartialOrd[Q], arg17: PartialOrd[R], arg18: PartialOrd[S], arg19: PartialOrd[T], arg20: PartialOrd[U], arg21: PartialOrd[V]): PartialOrd[(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 PartialOrd for a product type given an PartialOrd for each element of the product type.

  27. implicit def Tuple2PartialOrd[A, B](implicit arg0: PartialOrd[A], arg1: PartialOrd[B]): PartialOrd[(A, B)]

    Permalink

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

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

  35. implicit def VectorPartialOrd[A](implicit arg0: PartialOrd[A]): PartialOrd[Vector[A]]

    Permalink

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

  36. lazy val antisymmetryLaw1: Laws[PartialOrd]

    Permalink

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

  37. lazy val antisymmetryLaw2: Laws[PartialOrd]

    Permalink

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

  38. def apply[A](implicit ord: PartialOrd[A]): PartialOrd[A]

    Permalink

    Summons an implicit PartialOrd[A].

  39. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  40. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    AnyRef

  42. lazy val eqConsistencyLaw: Laws[PartialOrd]

    Permalink

    For all values a1 and a2, iff a1 =??= a2 is Ordering.Equals then a1 === a2.

  43. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  44. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  46. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  47. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  48. lazy val laws: Laws[PartialOrd]

    Permalink

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

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

    Definition Classes
    PartialOrd → ZLawful

  49. def make[A](ord: (A, A) ⇒ PartialOrdering): PartialOrd[A]

    Permalink

    Constructs an PartialOrd[A] from a function.

    Constructs an PartialOrd[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.

  50. def makeFrom[A](ord: (A, A) ⇒ PartialOrdering, equal0: Equal[A]): PartialOrd[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.

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

    Permalink
    Definition Classes
    AnyRef

  52. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  53. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    AnyRef

  55. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  56. lazy val transitivityLaw1: Laws[PartialOrd]

    Permalink

    For all values a1, a2, and a3, if a1 is less than a2 and a2 is less than a3 then a1 is less than a3.

  57. lazy val transitivityLaw2: Laws[PartialOrd]

    Permalink

    For all values a1, a2, and a3, if a1 is greater than a2 and a2 is greater than a3 then a1 is greater than a3.

  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[PartialOrd, Any]

Inherited from AnyRef

Inherited from Any

Ungrouped