纯脚本中的标准 unicode 运算符

Standard unicode operators in purescript

看着这个:

我看到纯脚本支持 unicode,例如

id :: ∀ a. a -> a

有默认运算符的列表吗?

可用的 "default" 符号只是语法的一部分:

  • (forall) 对于类型
  • (::) 用于类型注释
  • (->) 函数类型和案例
  • (<-) 对于 do 绑定
  • (=>) 对于 class 约束
  • (<=) 超级class 影响

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