Haskell：过载==图ADT

Question

我有一个图的声明，我需要在Haskell中重载“==”运算符（本书的问题）。

data Node a = Node { 
label :: a, 
adjacent :: [(a,Int)] 
} deriving Show 

data Network a = Graph [Node a] deriving Show 

基本上，两个图是相同的，当它们具有相同的顶点和边（但节点的可以是在网络的数据类型不同的顺序，以及在节点数据类型相邻顶点的列表）。在这方面有一些困难，任何帮助将不胜感激。

在此先感谢。

注：我的问题是与平等检查，而不是使类型类的实例的语法。

Answer 1

这是你在找什么？

import Data.Function (on) 
import qualified Data.Map as M 

instance Ord a => Eq (Network a) where 
    (==) = (==) `on` f where 
     f :: Ord a => Network a -> M.Map a (M.Map a Int) 
     f (Graph nodes) = M.fromList $ map g nodes 
     g :: Ord a => Node a -> (a, M.Map a Int) 
     g node = (label node, M.fromList $ adjacent node) 

什么这个实现的功能：

• 每个网络的地图转换
• 测试对于平等这些地图

，因为地图无序（与原有名单不包含重复）原始列表的顺序不会影响输出。

您甚至可以更改您的Node和Network表示法以使用Map s。

Answer 2

您必须实现式实例网：

instance Eq (Network a) where 
    n1 == n2 = ... 

这里更多：

http://learnyouahaskell.com/types-and-typeclasses#typeclasses-101

https://en.wikibooks.org/wiki/Haskell/Classes_and_types

Answer 3

如果你不能只使用deriving (Eq, Show)那么你必须执行它手工。

instance (Eq a) => Eq (Node a) where 
    n1 == n2 = (* Implement the equality check here *) 

instance (Eq a) => Eq (Network a) where 
    g1 == g2 = (* Implement the equality check here *) 

这实际上是派生语句自动为您做的。

如果你想了解更多关于类型类的内容，我很想学习你一个Haskell的解释。

如果您需要实际的平等检查帮助，请使用Data.Map和fromList函数。

至于节点，该段应该这样做

(==) = (==) `on` label 

或者更明确的

n1 == n2 = label n1 == label n2