Haskell 中的局部中缀运算符定义

Question

在这个 Haskell 程序中，@@ 是一个中缀运算符，我只想在函数 f 的主体内本地定义它。 （当然，我的实际程序比这更复杂，使用中缀表示法是有充分理由的。）

infixl 5 @@

(@@) = undefined

f x = x @@ 5 where x @@ y = (x+1) * (y+1)

main = print (f 7)

但是，除非我也进行全局定义，这里写为 (@@) = undefined，否则 GHC 会抱怨“@@ 的固定性签名缺少随附的绑定。”如果没有运算符符号的全局定义，有没有办法解决这个问题？

Answer 1

将固定性声明放在​​where 子句中似乎可以正常工作：

f x = x @@ 5 where
    infixl 5 @@
    x @@ y = (x+1) * (y+1)