Haskell中模棱两可的类出现

Question

使用Trees 并定义一个新的“Eq”我得到一个"Ambiguous class occurrence 'Eq' *** Could refer to: Hugs.Prelude.Eq Main.Eq".

我知道我正在尝试为前奏的现有 Eq-Class 添加一个新定义，但我不想使用导入前奏隐藏 (Eq)，因为我的新相等使用的是“ ==" 用于数字类型。运算符被称为“=+”，因为它不是一个真正的相等（我认为它已经通过派生“加载”了），而只是一个结构相等。

data Tree = Nil | Node Int Tree Tree deriving (Eq, Ord, Show)
instance Eq Tree where
    Nil =+ Nil      =  true
    (Node a tl1 tr1) =+ (Node b tl2 tr2) = (a==b) && (tl1==tl2) && (tl1==tl2)

如果有任何建议，我将不胜感激。

Answer 1

如果您希望新类与预定义的类共存，您显然应该给它一个适当可区分的名称，例如

class PseudoEq x where
  (=+) :: x -> x -> Bool

instance PseudoEq Tree where
    Nil            =+ Nil            =  true
    Node a tl1 tr1 =+ Node b tl2 tr2 
          = a==b && tl1==tl2 && tl1==tl2

简单地用Main.Eq 限定实例几乎可以做同样的事情，但是如果它“不是真正的平等”，那么将你的类称为Eq 会令人困惑。

（虽然== 也不需要是适当的相等；对于许多类型，这仅意味着“在用户可以观察到的所有方面都相等”。）

Answer 2

只需使用完全限定的类名：

module Main where

data Tree = Nil | Node Int Tree Tree deriving (Prelude.Eq, Ord, Show)

class Eq a where
  (=+) :: a -> a -> Bool

instance Main.Eq Tree where
    Nil =+ Nil      =  True
    (Node a tl1 tr1) =+ (Node b tl2 tr2) = (a==b) && (tl1==tl2) && (tl1==tl2)

但不要那样做

你不应该首先制造这种模棱两可的东西。例如，您的Eq 应该改为StructEq，如果它是“只是一个结构性的”。

Answer 3

如果你想写一个自定义的，你为什么要派生Eq？只需从派生子句中删除Eq，这一切都应该有效。