любой рабочий пример перегрузки оператора в haskell

Question

Я хочу перегрузить любого оператора. Я хочу сделать такую ​​простую функцию, которая, например, думает о перегрузке оператора .Overload == такой, что x == y
возвращает x. Или x == y возвращает x + y. Неважно, что. Можете ли вы показать мне простой пример перегрузки оператора? К сожалению, я не могу найти какой-либо пример в Интернете.

Например, когда я называю Дерево == Дерево возвращение 5 (она всегда возвращает 5. Я его выбора, она не связана с какой-либо вещи) или когда я называю 3 == 4 возвращение: 7

Я пробовал следующие коды (я нахожу его на haskell.org), но он не может скомпилироваться.

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

instance Eq Integer where 
x == y = 5 

instance Eq Float where 
x == y = 5 

Ни ниже код не работает:

Дерево данных а = Узел | Пустой

класс Дерево где (==) :: Дерево -> Дерево -> Int

экземпляр Tree Integer, где х == у = 1

Я беру ошибку:

Ambiguous occurrence `Eq' 
It could refer to either `Main.Eq', defined at Operations.hs:4:7 
         or `Prelude.Eq', 
         imported from `Prelude' at Operations.hs:1:1 
         (and originally defined in `GHC.Classes') 

Answer 1

Вы не можете скрыть экземпляры импортированного модуля. См. Например: Explicitly import instances

Похоже, что «перегрузка», которую вы пытаетесь сделать, - это разрешить (==) для других типов, таких как деревья. Это легко! Просто создать новый экземпляр:

data Tree a = Leaf a | Branch [Tree a] 

instance (Eq a) => Eq (Tree a) where 
    (Leaf a) == (Leaf b) = a == b 
    (Branch a) == (Branch b) = a == b 
    _   == _   = False 

(Вы также можете просто deriveEq экземпляр)

Answer 2

Попробуйте спрятать == из Prelude. Вам нужен только класс типа, если вы хотите, чтобы он работал по-разному для разных типов.

import Prelude hiding ((==)) 

x == y = x 

Answer 3

Вот +++ оператор, который действует как оператор (++) используется для добавления списков:

(+++) :: [a]->[a]->[a] 
x +++ [] = x 
[] +++ x = x 
x +++ y = (init x) +++ ((last x) : y)