o

zio.prelude.laws

PartialOrdLaws

object PartialOrdLaws extends Lawful[PartialOrd]

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

Value Members

  1. def +[Caps1[x] <: PartialOrd[x], R1 <: Any](that: ZLawful[Caps1, R1]): ZLawful[Caps1, R1]
    Definition Classes
    ZLawful
  2. lazy val antisymmetryLaw1: Laws[PartialOrd]

    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.

  3. lazy val antisymmetryLaw2: Laws[PartialOrd]

    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.

  4. lazy val eqConsistencyLaw: Laws[PartialOrd]

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

  5. lazy val laws: Laws[PartialOrd]

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

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

    Definition Classes
    PartialOrdLaws → ZLawful
  6. lazy val transitivityLaw1: Laws[PartialOrd]

    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.

  7. lazy val transitivityLaw2: Laws[PartialOrd]

    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.