define Экземпляр эквалайзера -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

Прелюдия Хаскелла (аналогичная стандартной библиотеке) определяет класс Eq. Проблема, с которой вы сталкиваетесь, заключается в том, что Haskell не знает, относится ли Eq к классу, который вы определили, или к встроенному в Haskell.

Рассмотрите возможность переименования вашего класса.

Более подробную информацию о прелюдии Haskell и его формула здесь: http://hackage.haskell.org/package/base-4.6.0.1/docs/Prelude.html#t:Eq

Answer 2

Вы добавили определение класса Eq, которое отличается от этого в прелюдии, и компилятор жалуется, что он не знает, какой из них вы пытаетесь создать при написании instance Eq Nat.

Вы должны удалить из своего кода объявление class Eq a where ....