Definición de su propio ord para un tipo de datos (Haskell)

Question

Estoy intentando hacer algunas estructuras de datos para resolver un rompecabezas de gráfico. Estoy tratando de definir los criterios de comparación de un borde, pero no estoy seguro de cómo. Hasta ahora:

data Edge = Edge (Set String) Bool 

¿Cómo le digo dejar que el compilador se que quiero bordes para ser declarados iguales si tienen juegos idénticos de cadenas, y no tener la igualdad tienen nada que ver con el valor booleano?

Answer 1

Aunque no estoy seguro de por qué desea ignorar el valor booleano (tengo curiosidad), para ello tendrá que definir su propio Eq ejemplo; el predeterminado no funcionará, ya que compara todos los campos. Por suerte, esto es fácil:

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

Si usted quiere ser capaz de ordenar los bordes, y desea que el pedido de comparar sólo los conjuntos también, su aplicación es muy similar:

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

Cada tipo clase define un cierto conjunto de métodos que deben implementarse; Eq requiere == o /=, y Ord requiere <= o compare. (Para saber qué funciones son obligatorias y cuáles son opcionales, puede consultar los documentos.)

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