PartialOrdLaws

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[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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: Any): Boolean

    

    Definition Classes

    AnyRef → Any

12. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

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

    

    Definition Classes

    AnyRef → Any

14. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

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

19. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )