IntervalGeometricPartialOrder
Interval partial order defined as follows:
Involving empty intervals:
- if I and J are empty, then I === J
- if I (resp. J) is empty and J (resp. I) is non-empty,
the ordering is undefined (preserving antisymmetry).
For non-empty intervals:
- I === J is standard Eq semantics (I, J are intersubstituable)
- I < J if all x \in I, y \in J have x < y
- I > J if all x \in I, y \in J have x > y
Value members
Concrete methods
Inherited methods
Returns true if x > y, false otherwise.
Returns true if x > y, false otherwise.
- Inherited from
- PartialOrder
Returns true if x >= y, false otherwise.
Returns true if x >= y, false otherwise.
- Inherited from
- PartialOrder
Returns true if x < y, false otherwise.
Returns true if x < y, false otherwise.
- Inherited from
- PartialOrder
Returns true if x <= y, false otherwise.
Returns true if x <= y, false otherwise.
- Inherited from
- PartialOrder
Returns false if x and y are equivalent, true otherwise.
Returns false if x and y are equivalent, true otherwise.
- Inherited from
- Eq
Like partialCompare, but returns a cats.kernel.Comparison instead of an Double.
Has the benefit of being able to pattern match on, but not as performant.
Like partialCompare, but returns a cats.kernel.Comparison instead of an Double.
Has the benefit of being able to pattern match on, but not as performant.
- Inherited from
- PartialOrder
Returns Some(x) if x >= y, Some(y) if x < y, otherwise None.
Returns Some(x) if x >= y, Some(y) if x < y, otherwise None.
- Inherited from
- PartialOrder
Returns Some(x) if x <= y, Some(y) if x > y, otherwise None.
Returns Some(x) if x <= y, Some(y) if x > y, otherwise None.
- Inherited from
- PartialOrder
Result of comparing x with y. Returns None if operands are
not comparable. If operands are comparable, returns Some[Int]
where the Int sign is:
Result of comparing x with y. Returns None if operands are
not comparable. If operands are comparable, returns Some[Int]
where the Int sign is:
- negative iff
x < y - zero iff
x = y - positive iff
x > y
- Inherited from
- PartialOrder