在Haskell中创建Eq类型类的实例时出错
我正在学习 Haskell 并编写一个小型决策图库作为开始项目。我已将数据类型声明为
data DD a = DDNode { var :: Int, vals :: [DD a]} | DDLeaf { val :: a} deriving (Show, Eq)
为了测试 2 个 DD 之间的相等性，我正在为 DD 创建一个 Eq 实例。在树结构的情况下，它基本上与测试节点和叶的相等性相同。
instance (Eq a) => DD a where
(DDNode i vs) == (DDNode i' vs') = i == i' && vs == vs'
(DDLeaf v) == (DDLeaf v') = v == v'
_ == _ = False
当我在 GHCi 中加载具有上述代码的文件时，出现以下错误，
Prelude> :load decisionDiagrams.hs
[1 of 1] Compiling DecisionDiagram ( decisionDiagrams.hs, interpreted )
decisionDiagrams.hs:9:19: error:
‘==’ is not a (visible) method of class ‘DD’
Failed, modules loaded: none.
我究竟做错了什么？
回答
您不能同时使用Eqinderiving和 ininstance声明，因为有两个实现。该deriving (Eq)应这样被排除：
data DD a
= DDNode { var :: Int, vals :: [DD a]}
| DDLeaf { val :: a}
deriving (Show)您需要指定您正在定义 的实例Eq，因此instance声明应如下所示：
-- ↓ defining an instance for Eq
instance (Eq a) => Eq (DD a) where
-- …Eq您正在实现的实例是 Haskell 可以自动派生的实例。因此，您不需要自己构建这样的实例：您可以使用deriving子句来实现。因此没有理由Eq手动实施。