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
.
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
.
For all values a1
and a2
, iff a1 =??= a2
is Ordering.Equals
then a1 === a2
.
The set of all laws that instances of PartialOrd
must satisfy.
The set of all laws that instances of PartialOrd
must satisfy.
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
.
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
.