zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/zio.prelude.laws/OrdLaws

OrdLaws

zio.prelude.laws.OrdLaws
object OrdLaws extends Lawful[Ord]

Attributes

Graph
Supertypes
trait ZLawful[Ord, Any]
class Object
trait Matchable
class Any
Self type
OrdLaws.type

Members list

Value members

Inherited methods

def +[Caps1 <: (Ord), R1](that: ZLawful[Caps1, R1]): ZLawful[Caps1, R1]

Attributes

Inherited from:
ZLawful

Concrete fields

lazy val complementLaw: Laws[Ord]

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

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

Attributes

lazy val connexityLaw1: Laws[Ord]

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

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

Attributes

lazy val connexityLaw2: Laws[Ord]

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

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

Attributes

lazy val laws: Laws[Ord]

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

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

Attributes

Generated with