Definieren eines eigenen Ord für einen Datentyp (Haskell)

Question

Ich versuche einige Datenstrukturen zu erstellen, um ein Graph Puzzle zu lösen. Ich versuche, die Vergleichskriterien eines Randes zu definieren, aber ich bin mir nicht sicher, wie. Bisher:

data Edge = Edge (Set String) Bool 

Wie sage ich den Compiler mitteilen, dass ich Kanten will gleich erklärt werden, wenn sie identische Sätze von Saiten und Gleichheit habe nichts mit dem Booleschen Wert zu tun?

Answer 1

Obwohl ich bin nicht sicher, warum Sie den Booleschen Wert ignoriert werden sollen (ich bin gespannt), dies zu tun, werden Sie Ihre eigene Eq Instanz definieren müssen; der Standard wird nicht funktionieren, da er jedes Feld vergleicht. Glücklicherweise ist dies einfach:

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

Wenn Sie in der Lage sein wollen, Kanten zu bestellen, und Sie wollen, dass die Bestellung auch nur die Sätze zu vergleichen, ist die Implementierung sehr ähnlich:

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

Jede Art class definiert eine bestimmte Menge von Methoden, die implementiert werden müssen; Eq erfordert == oder /=, und Ord erfordert <= oder compare. (Um herauszufinden, welche Funktionen benötigt werden und welche optional sind, können Sie die Dokumente überprüfen.)

Answer 2

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