纯脚本中的标准 unicode 运算符
Standard unicode operators in purescript
看着这个:
我看到纯脚本支持 unicode,例如
id :: ∀ a. a -> a
有默认运算符的列表吗?
可用的 "default" 符号只是语法的一部分:
∀
(forall
) 对于类型
∷
(::
) 用于类型注释
→
(->
) 函数类型和案例
←
(<-
) 对于 do
绑定
⇒
(=>
) 对于 class 约束
⇐
(<=
) 超级class 影响
一些库和项目前奏为库代码提供了额外的 unicode 运算符,例如我们有 here in the SlamData prelude.
看着这个:
我看到纯脚本支持 unicode,例如
id :: ∀ a. a -> a
有默认运算符的列表吗?
可用的 "default" 符号只是语法的一部分:
∀
(forall
) 对于类型∷
(::
) 用于类型注释→
(->
) 函数类型和案例←
(<-
) 对于do
绑定⇒
(=>
) 对于 class 约束⇐
(<=
) 超级class 影响
一些库和项目前奏为库代码提供了额外的 unicode 运算符,例如我们有 here in the SlamData prelude.