purescript - purescript 中的标准 unicode 运算符

看着这个:

https://github.com/purescript/purescript/issues/1929

我看到在 purescript 中支持 unicode，例如

id :: ∀ a. a -> a

某处是否有默认运算符列表？

最佳答案

可用的“默认”符号只是语法的一部分:

∀ ( forall ) 用于

类型

∷ ( :: ) 用于类型注释

→ ( -> ) 用于函数类型和案例

← ( <- ) 用于 do 绑定(bind)

⇒ ( => ) 用于类约束

⇐ ( <= ) 用于父类(super class)含义

一些库和项目前奏为库代码提供了额外的 unicode 运算符，例如我们有 here in the SlamData prelude 。

关于purescript - purescript 中的标准 unicode 运算符，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/42845568/