Haskell 作业中类型构造函数的问题

Question

我创建了一个数据类型，需要使用 instance 使其成为相等类型类的实例。 我的数据类型由值 R a b 组成。 如果x等于c并且y等于d我想让R xy等于R cd 。

这是我到目前为止编写的代码。 它不编译。

 data Row a b = R a b deriving (Show)
 instance Eq (Row a b)  where
     (R x y) == (R c d) = (x == c) && (y == d)
     _ == _ = False

我认为这可能是错误的，因为类型 a 和 b 不一定必须在 Equality 类型类中。 我不知道如何解决这个问题。

Answer 1

您只能检查两个R ab是否相等，因为您可以检查a和b项目是否相等。 因此，您需要将这些添加为类型约束：

instance (Eq a, Eq b) => Eq (Row a b)  where
    (R x y) == (R c d) = (x == c) && (y == d)
    _ == _ = False

但是请注意，您不必执行Eq自己的实例。 如果您希望两个R ab相同，并且数据构造函数相同，并且它们对应的参数相同，那么您只需让编译器为您的实例派生：

data Row a b = R a b deriving (Eq, Show)