Enum

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

Члены типа Enum, расширяющего тип Order и Bothable, представляют собой последовательно упорядоченные типы — их можно перечислить.

Основное преимущество класса типов Enum заключается в том, что мы можем использовать его типы в диапазонах списков. У них также есть определенные преемники (successors) и предшественники (predecessors), которые вы можете получить с помощью функций succ и pred. И возможно существование минимального и максимального элементов.

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

• следующий предыдущего элемента x является x: succ(pred(x)) == x
• предыдущий следующего элемента x является x: pred(succ(x)) == x
• если определены и min, и max, то предыдущий от min - это max
• если определены и min, и max, то следующий для max - это min
• для любого x, не равного max, его следующий элемент больше или равен x: x == max || succ(x) >= x
• для любого x, не равного min, его предыдущий элемент меньше или равен x: x == min || pred(x) <= x

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

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

enum Ordering:
  case LT
  case EQ
  case GT

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

trait Predecessible[A]:
  def pred(a: A): A

trait Successible[A]:
  def succ(a: A): A

trait Bothable[A] extends Predecessible[A], Successible[A]

trait Enum[A] extends Order[A], Bothable[A]:
  def min: Option[A]
  def max: Option[A]

Реализация

Реализация в ScalaZ

import scalaz.*
import Scalaz.*
1 |-> 2        // [1,2]
1 |--> (2, 5)  // [1,3,5]
1.pred         // 0
1.predx        // Some(0)
1.succ         // 2
1.succx        // Some(2)
Enum[Int].min  // Some(-2147483648)
Enum[Int].max  // Some(2147483647)

Ссылки:

• Learning Scalaz
• Scalaz API