o

zio.prelude.laws

PartialOrdLaws

object PartialOrdLaws extends Lawful[PartialOrd]

Linear Supertypes
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. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def +[Caps1[x] <: PartialOrd[x], R1 <: Any](that: ZLawful[Caps1, R1]): ZLawful[Caps1, R1]
    Definition Classes
    ZLawful
  4. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  5. 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.

  6. 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.

  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. lazy val eqConsistencyLaw: Laws[PartialOrd]

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

  11. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  12. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  13. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  15. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  16. 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
  17. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  19. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  21. def toString(): String
    Definition Classes
    AnyRef → Any
  22. 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.

  23. 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.

  24. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  25. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  26. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from ZLawful[PartialOrd, Any]

Inherited from AnyRef

Inherited from Any

Ungrouped