object PartialOrdLaws extends Lawful[PartialOrd]
Linear Supertypes
Ordering
- Alphabetic
 - By Inheritance
 
Inherited
- PartialOrdLaws
 - ZLawful
 - AnyRef
 - Any
 
- Hide All
 - Show All
 
Visibility
- Public
 - Protected
 
Value Members
-   final  def !=(arg0: Any): Boolean
- Definition Classes
 - AnyRef → Any
 
 -   final  def ##: Int
- Definition Classes
 - AnyRef → Any
 
 -    def +[Caps1[x] <: PartialOrd[x], R1 <: Any](that: ZLawful[Caps1, R1]): ZLawful[Caps1, R1]
- Definition Classes
 - ZLawful
 
 -   final  def ==(arg0: Any): Boolean
- Definition Classes
 - AnyRef → Any
 
 -    lazy val antisymmetryLaw1: Laws[PartialOrd]
For all values
a1anda2, ifa1is less than or equal toa2anda2is less than or equal toa1thena1is equal toa2. -    lazy val antisymmetryLaw2: Laws[PartialOrd]
For all values
a1anda2, ifa1is greater than or equal toa2anda2is greater than or equal toa1thena1is equal toa2. -   final  def asInstanceOf[T0]: T0
- Definition Classes
 - Any
 
 -    def clone(): AnyRef
- Attributes
 - protected[lang]
 - Definition Classes
 - AnyRef
 - Annotations
 - @throws(classOf[java.lang.CloneNotSupportedException]) @native()
 
 -   final  def eq(arg0: AnyRef): Boolean
- Definition Classes
 - AnyRef
 
 -    lazy val eqConsistencyLaw: Laws[PartialOrd]
For all values
a1anda2, iffa1 =??= a2isOrdering.Equalsthena1 === a2. -    def equals(arg0: AnyRef): Boolean
- Definition Classes
 - AnyRef → Any
 
 -    def finalize(): Unit
- Attributes
 - protected[lang]
 - Definition Classes
 - AnyRef
 - Annotations
 - @throws(classOf[java.lang.Throwable])
 
 -   final  def getClass(): Class[_ <: AnyRef]
- Definition Classes
 - AnyRef → Any
 - Annotations
 - @native()
 
 -    def hashCode(): Int
- Definition Classes
 - AnyRef → Any
 - Annotations
 - @native()
 
 -   final  def isInstanceOf[T0]: Boolean
- Definition Classes
 - Any
 
 -    lazy val laws: Laws[PartialOrd]
The set of all laws that instances of
PartialOrdmust satisfy.The set of all laws that instances of
PartialOrdmust satisfy.- Definition Classes
 - PartialOrdLaws → ZLawful
 
 -   final  def ne(arg0: AnyRef): Boolean
- Definition Classes
 - AnyRef
 
 -   final  def notify(): Unit
- Definition Classes
 - AnyRef
 - Annotations
 - @native()
 
 -   final  def notifyAll(): Unit
- Definition Classes
 - AnyRef
 - Annotations
 - @native()
 
 -   final  def synchronized[T0](arg0: => T0): T0
- Definition Classes
 - AnyRef
 
 -    def toString(): String
- Definition Classes
 - AnyRef → Any
 
 -    lazy val transitivityLaw1: Laws[PartialOrd]
For all values
a1,a2, anda3, ifa1is less thana2anda2is less thana3thena1is less thana3. -    lazy val transitivityLaw2: Laws[PartialOrd]
For all values
a1,a2, anda3, ifa1is greater thana2anda2is greater thana3thena1is greater thana3. -   final  def wait(): Unit
- Definition Classes
 - AnyRef
 - Annotations
 - @throws(classOf[java.lang.InterruptedException])
 
 -   final  def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
 - AnyRef
 - Annotations
 - @throws(classOf[java.lang.InterruptedException])
 
 -   final  def wait(arg0: Long): Unit
- Definition Classes
 - AnyRef
 - Annotations
 - @throws(classOf[java.lang.InterruptedException]) @native()