Question

我是Haskell的新手。

我想使用 Enum 类为自定义数据类型实现 Ord 类。

如果我实现 Enum 类并在实现 Ord所需的 compare 函数中直接使用 fromEnum 函数，则效果很好类。

但类型签名和类型级别约束是为了可读性和文档。我想根据枚举实例指定我的自定义数据 Ord 实例依赖。当我编写以下代码时，它将引发错误。

data DayOfWeek
  = Mon | Tue | Weds | Thu | Fri | Sat | Sun
  deriving (Eq, Show)    

instance Enum DayOfWeek => Ord DayOfWeek where
  compare a b = compare (fromEnum a) (fromEnum b)

instance Enum DayOfWeek where
  toEnum 1 = Mon
  toEnum 2 = Tue
  toEnum 3 = Weds
  toEnum 4 = Thu
  toEnum 5 = Fri
  toEnum 6 = Sat
  toEnum 7 = Sun

  fromEnum Mon = 1
  fromEnum Tue = 2
  fromEnum Weds = 3
  fromEnum Thu = 4
  fromEnum Fri = 5
  fromEnum Sat = 6
  fromEnum Sun = 7

错误：

* Non type-variable argument in the constraint: Enum DayOfWeek
  (Use FlexibleContexts to permit this)
* In the context: Enum DayOfWeek
  While checking an instance declaration
  In the instance declaration for `Ord DayOfWeek'

我们可以写具体类型的约束

Answer 1

如果启用一对扩展名，您的代码将编译，并在文件的第一行中写入：

{-# LANGUAGE FlexibleContexts, UndecidableInstances #-}

不过，我认为这是不值得的。我会删除上下文，因为这是大多数现有代码所做的。

此外，我不确定您为什么认为记录一个实例依赖于另一个实例这一事实很重要。我认为这是实现细节，因此我想向用户隐藏，而不是指出。

约束中的非类型变量参数：Enum A => Ord A

1 个答案: