我可以在Haskell中定义(:: :)吗？它是否以某种方式受到保护？

Question

我收到了这个错误,但据我所知,它应该有效.我错过了什么？

Not in scope: data constructor ':::'
        |
        | (:::) = cons
        | ^^^^^

infixr 5 :::声明也有类似的错误.

Answer 1

你可能错过了

以冒号开头的运算符符号是构造函数.

- Haskell 2010语言报告

在构造函数声明中使用应该起作用:

data Foo a b = a ::: b