Wie kann man Haskell mitteilen, nicht dieselbe Instanz von zwei Modulen zu importieren?

Question

Ich verwende den folgenden typeclass:

module T where 
class T a where 
    v :: a 

Eine Instanz T Int, die ich umgesetzt:

import T 
import A (av) 

instance T Int where 
    v = 0 

main = putStrLn (av ++ show v) 

Und ein Modul, das ich von Wert verwenden möchten, die auch eine Instanz hat von T Int.

module A where 
import T 
instance T Int where 
    v = 0 
av = "value from A" 

Das Problem ist, das nicht funktioniert:

$ runghc Main.hs 

Main.hs:4:9: 
    Duplicate instance declarations: 
     instance T Int -- Defined at Main.hs:4:9-13 
     instance T Int -- Defined at A.hs:3:9-13 

Haskell beklagt, dass es 2 Erklärungen für die gleiche Instanz. Wie kann ich ihm mitteilen, dass er die Instanz nicht von B importieren oder beide Instanzen vereinheitlichen oder nur die Instanz von Main verwenden soll?

Answer 1

Leider können Sie nicht steuern, wie Instanzen importiert und exportiert werden. siehe Do Haskell imports have side effects?.

Dies bedeutet, dass Sie Ihren Code umgestalten müssen, um sicherzustellen, dass die Instanz nur in einer Datei definiert ist. Im Allgemeinen ist es am besten, nur eine Instanz in der Datei zu definieren, die entweder die Klasse oder den Datentyp definiert - tatsächlich gibt es sogar eine Warnung über "verwaiste" Instanzen, die dieser Regel nicht folgen. (Betrachten Sie Orphaned instances in Haskell für eine lange Diskussion darüber, warum Sie verwaiste Instanzen vermeiden sollten.) Wenn dies jedoch aus irgendeinem Grund nicht möglich ist, können Sie immer noch beliebig eine der Dateien auswählen, um sie zu behalten oder sogar ein neues Modul zu erstellen von allen Dateien importiert werden, die diese bestimmte Instanz benötigen.

Allgemeiner gesagt, wie würden Sie mit der Möglichkeit befassen, dass die beiden Instanzen verschiedene Dinge tat, wie:

instance T Int where v = 0 
{- And in a different file: -} 
instance T Int where v = 1 

Es gibt wirklich keine unmittelbar offensichtliche Weise diese beiden ohne signifikant zu verändern, wie die Haskell eindeutig zu machen Typklassensystem funktioniert.

Da Sie eine der Instanzen selbst geschrieben haben, entfernen Sie diese einfach. Da es das gleiche wie das vordefinierte ist, importieren Sie das Modul einfach dorthin, wo Sie es benötigen.