Я пытаюсь сделать некоторые структуры данных, чтобы решить загадку графа. Я пытаюсь определить критерии сравнения краев, но я не уверен, как это сделать. До сих пор:
data Edge = Edge (Set String) 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. (Чтобы узнать, какие функции требуются и которые являются необязательными, вы можете проверить документы.)
import Data.Set
data Edge = Edge (Set String) Bool deriving Show
instance Eq Edge where
(Edge a _) == (Edge b _) = a == b
instance Ord Edge where
compare (Edge a _) (Edge b _) = compare a b