haskell 中的任何工作运算符重载示例

Question

我想重载任何 operator 。我想做一个简单的功能，例如考虑重载 == 运算符 .Overload == 这样 x==y
返回 x 。 或者 x==y 返回 x+y。没关系。你能告诉我任何简单的运算符重载示例吗？不幸的是，我在网上找不到任何示例。

例如；当我调用 Tree a == Tree a return 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

以下代码均无效：

数据树 a = 节点 a |空

类树在哪里 (==) :: 树 a -> 树 a -> Int

实例树整数 where x == y = 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

（您也可以只使用derive Eq 实例）

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)