定义Eq实例-Haskell

Question

Hy，我已经为自然数定义了一个数据结构，并且想要定义一个Eq实例，看看两个数字是否相等，但我不断得到这样的信息：“Eq'的模糊出现。它可能指的是Main.eq或Prelude.eq“你能告诉我，我可能做错了吗？

data Nat = Z | S Nat deriving Show

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

instance Eq Nat where
  Z == Z = True
  (S x) == (S y) = x == y
  x == y = False

非常感谢！

Answer 1

Haskell的Prelude（类似于标准库）定义了Eq类。 您遇到的问题是Haskell不知道'Eq'是指您定义的类还是Haskell内置的类。

考虑重命名你的课程。

有关Haskell Prelude及其Eq的更多信息，请访问： http ： //hackage.haskell.org/package/base-4.6.0.1/docs/Prelude.html#t :Eq

Answer 2

您已经添加了一个名为Eq的类的定义，该类与Prelude中的类不同，并且编译器抱怨它在您编写instance Eq Nat时不知道您尝试实例化哪一个。

您应该从代码中删除class Eq a where ...的声明。