UnicodeSyntax
一種擴充套件，允許你使用 Unicode 字元代替某些內建運算子和名稱。
ASCII |
統一 | 使用（S） |
|---|---|---|
:: |
∷ |
有型別 |
-> |
→ |
函式型別，lambdas，case 分支等 |
=> |
⇒ |
類約束 |
forall |
∀ |
顯性多型性 |
<- |
← |
do 表示法 |
* |
★ |
型別的型別（或型別）（例如，Int :: ★） |
>- |
⤚ |
proc 表示為 Arrows |
-< |
⤙ |
proc 符號為 Arrows |
>>- |
⤜ |
proc 為 tihuan 27 的記號 |
-<< |
⤛ |
proc 表示為 Arrows |
例如：
runST :: (forall s. ST s a) -> a
會成為
runST ∷ (∀ s. ST s a) → a
請注意，*與★示例略有不同：由於*未保留，★的工作方式與*相同，用於乘法或任何其他名為 (*) 的函式，反之亦然。例如：
ghci> 2 ★ 3
6
ghci> let (*) = (+) in 2 ★ 3
5
ghci> let (★) = (-) in 2 * 3
-1