在 Scala 中创建中缀运算符

Question

我正在尝试将我的一些 Haskell 代码翻译成 Scala，但在创建中缀运算符时遇到了困难。

在 Haskell 中，我将这个中缀运算符定义为：

infix 1 <=>                          // this specifies the operator precedence
(<=>) :: Bool -> Bool -> Bool        // this is the type signature of this operator (it says, it takes two Boolean values and returns a Boolean value)
x <=> y = x == y                     // this is the definition of the operator, it is mimicking the behaviour of the logical implication 'if-and-only-if'

所以现在如果我有两个布尔值，p 和 q，其中 p == True 和 q == False，p q 将返回 False。

我的问题是如何将其翻译成 Scala。我查看了 Odersky 的 Programming in Scala 书中定义的 Rational 类， 试图效仿这个例子。这是据我所知：

class Iff (b : Boolean){
  def <=> (that : Boolean) : Boolean = {
    this.b == that
  }
}

val a = new Iff(true)
println(a.<=>(false))  // returns false as expected

我可能没有在惯用的 Scala 中做到这一点，所以我正在该部门寻求帮助。

我的问题是：

1. 我是否在 Scala 中惯用地实现了这一点？如果不是，那么在 Scala 中最好的方法是什么？
2. 我是否必须创建该类才能定义此运算符？意思是，我可以像上面的 Haskell 代码那样在 Scala 中定义一个独立的方法吗？
3. 如何在Scala中指定算子的固定级别？也就是说，它是优先级。

Answer 1

你可以定义implicit class

implicit class Iff(val b: Boolean) extends AnyVal {
  def <=>(that: Boolean) = this.b == that
}

现在你可以不用new来调用它了：

true <=> false // false
false <=> true // false
true <=> true  // true