Wie typeclass Instanz in Datendefinition

Question

erfordern Angenommen ich einen Typ wie dieses:

data Graph vertex = Graph { 
    vertices :: [vertex], 
    edgelist :: [(vertex, [vertex])] 
} 

Aber ich möchte eine typeclass Einschränkung für die Variable vom Typ Vertex haben, ich versuchte, es zu tun, wie es gemacht wird mit typeclass Definitionen:

data (Eq vertex) => Graph vertex = Graph { 
    vertices :: [vertex], 
    edgelist :: [(vertex, [vertex])] 
} 

Aber das erzeugt einen Syntaxfehler Illegal datatype context (use DatatypeContexts). Was ist der richtige Weg, um dies zu erreichen? Oder ist das nicht möglich?

Answer 1

Eine Sache, die Sie tun können, ist GADTs zu verwenden:

{-# language GADTs #-} 
data Graph vertex where 
    Graph :: (Eq vertex) => { vertices :: [vertex], edgelist :: [(vertex, [vertex])] } -> Graph vertex 

dies stellt sicher, dass Sie immer Eq vertex in Umfang haben wird , wenn Sie Muster Match auf dem Graph Konstruktor.

Answer 2

Die Haskell-Konvention setzt niemals Beschränkungen für Datentypen. Setzen Sie sie stattdessen auf die Funktionen, die auf den Datentypen arbeiten. Dadurch können Sie die Einschränkungen nur auf die Funktionen anwenden, die sie tatsächlich benötigen.