4

我有这种数据类型，我想为它定义一个相等运算符。Mlist 应该是 Eq 的一个实例。

data Mlist a = Mlist [a]

instance Eq a => Eq (Mlist a) where
    (==) :: [a] -> [a] -> Bool

相等运算符应该允许我检查这一点（加上顺序无关紧要）：

m1 = Mlist [1,2,3]
m2 = Mlist [3,1,2]
-- then m1 equals m2
m3 = Mlist [3,2,1,5]
-- then m1 not equals m3

上面的代码不起作用，有人可以帮忙吗？

编辑：这是一个新版本，但它不工作......

instance Eq a => Eq (Mlist a) where
    (==) :: (Eq a) => [a] -> [a] -> Bool
    (==) [] [] = True
    (==) [] _ = False
    (==) _ [] = False
    (==) (hd:tl) b = (==) tl $ delete hd b
4

2 回答 2

9

要创建Mlist a的实例Eq，您必须定义

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

或者

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

本质上，您需要实现一个可以确定两个列表是否相等的函数。由于Eq是唯一的约束，您可以使用Data.List.\\. 例如：

instance Eq a => Eq (Mlist a) where
    Mlist xs == Mlist ys = length xs ==  length ys && null (xs \\ ys)
于 2013-03-10T06:52:37.137 回答
0

解决您的编辑问题：新版本不起作用，因为实例声明不应具有类型签名。类型签名由类给出。

代码仍然不正确，因为您没有考虑hdin 不在的情况b。在这种情况下，delete hd bis just b，所以特别是 if tl == bthen you'll return True，当你真的应该return 时False。

于 2013-03-10T12:15:59.000 回答