Definieren von eigenen Ord für ein Daten-Typ

Ich bin versucht, einige Daten-Strukturen zu lösen, ein Diagramm puzzle. Ich bin versucht, eine Kante definieren ist-Vergleich Kriterien, aber ich bin nicht sicher, wie. Bisher:

data Edge = Edge (Set String) Bool

Wie kann ich das "informieren" der compiler, dass ich will, die Kanten werden als gleichwertig, wenn Sie identische Sätze von Saiten, und nicht die Gleichheit zu tun haben mit den booleschen Wert?

  • vergessen Sie nicht über die deriving Stichwort!
InformationsquelleAutor Mantas Vidutis | 2010-06-17
  1. 46

    Obwohl ich nicht sicher bin, warum Sie wollen, zu ignorieren, die booleschen Wert (ich bin neugierig), zu tun, so werden Sie zum definieren Ihrer eigenen Eq Instanz; die Voreinstellung nicht funktioniert, wie es vergleicht jedes Feld. Zum Glück ist dies ganz einfach:

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

    Wenn Sie wollen in der Lage sein, um die Kanten, und Sie möchten die Bestellung zu vergleichen, nur die Sätze zu, Ihre Umsetzung ist sehr ähnlich:

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

    Jeder Typ eine Klasse definiert einen bestimmten Satz 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 docs.)

    • Ich Ignoriere die Boolesche bin, weil ich arbeite mit einem gerichteten Graphen. Jedoch, da nur die Kanten, die mir wichtig sind, sind diejenigen, die sind bidirektional zwischen den beiden Knoten. Ich bin mit dem boolean-als "Gegenleistung" - Feld, so kann ich loszuwerden, alle gerichteten Kanten, die nicht über eine entsprechende Rückkehr edge. Kann ich dann filter auf, die boolean zu erstellen, die eine ungerichtete graph. Es ist hässlich, aber ich kann nicht an nichts anderes denken kurzfristig.
    InformationsquelleAutor Antal Spector-Zabusky
  2. 15
    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
    InformationsquelleAutor Thomas M. DuBuisson
Schreibe einen Kommentar