是Haskell中的`：〜＆gt;`标识符＆＃34;正确＆＃34;？

Question

我在Haskell博客上看过这个运算符，但在Hoogle中找不到它的来源。 :~>运算符是语言核心的一部分吗？如果是这样，它表示什么？

编辑：它似乎显示在two中，但哪一个表示规范用法？

Answer 1

不，它不是语言核心的一部分。如果它存在，则由用户代码定义，而不是编译器或标准所需的任何库。它也不包含在主要现存实施GHC中的任何库中。