haskell - 为数据类型定义自己的 Ord

Question

我正在尝试创建一些数据结构来解决图形难题。我正在尝试定义边缘的比较标准，但我不确定如何定义。到目前为止:

data Edge = Edge (Set String) Bool

如何“通知”编译器，如果边缘具有相同的字符串集，并且相等性与 bool 值没有任何关系，则我希望边缘被声明为相等？

Answer 1

虽然我不确定为什么你想忽略 bool 值(我很好奇)，但要做到这一点，你必须定义自己的 Eq实例;默认值不起作用，因为它会比较每个字段。幸运的是，这很容易:

instance Eq Edge where
  (Edge s1 _) == (Edge s2 _) = s1 == s2

如果您希望能够对边进行排序，并且希望排序也只比较集合，那么您的实现非常相似:

instance Ord Edge where
  (Edge s1 _) `compare` (Edge s2 _) = s1 `compare` s2

每个类型类都定义了一组需要实现的方法； Eq需要==或/= ，和Ord需要<=或compare 。 (要了解哪些功能是必需的，哪些是可选的，您可以查看文档。)