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

Question

我是Haskell的新手。

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

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

但是作为类型签名和类型级别约束用于可读性和文档。我想在Enum实例上指定我的自定义数据depends的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 #-}

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

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