haskell - 我的 Pair a a 的类型类

Question

我得到了以下信息:

data Pair a =
  Pair a a

并且想将 Eq 类型类实例化给它。

instance Eq (Pair a) where
  (==) (Pair x x') = x == x'

我得到错误:

无法将预期类型 Pair a -> Bool' 与实际类型 Bool' 匹配

我写错了什么？

Answer 1

你的实现不起作用，因为

(==) :: a -> a -> Bool

您假设 (==) 接受一个参数((Pair x x') 实际上是一个参数)并且它实际上需要两个。因此错误，

Couldn't match expected type Pair a -> Bool' with actual type Bool'

(==) 已部分应用，因此它返回 Pair a -> Bool 而预期返回 Bool。