Bounded

Формальное определение

Bounded

имеют верхнюю и нижнюю границы, а следовательно расширяет тип Order

, позволяющий сравнивать элементы множества.

Enum

может расширять Bounded

в некоторых случаях.

Bounded

должен удовлетворять следующим законам (помимо законов Order

и Equal

):

• любой x
  из множества не превышает max
  : x <= max
• любой x
  из множества не меньше min
  : x >= min

Определение в виде кода на Scala

trait Equal[F]:
  def equal(a1: F, a2: F): Boolean

enum Ordering:
  case LT
  case EQ
  case GT

trait Order[F] extends Equal[F]:
  def order(x: F, y: F): Ordering

trait Bounded[F] extends Order[F]:
  def min: F
  def max: F

---

Ссылки:

• Learning Scalaz