関結演算子の優先順位と関連性

テーブルには、すべての演算子と特殊関数の優先順位および関連性が要約されています。最初の項目の優先順位が最も高く、優先順位は上から下に下がります。 このテーブルでは、「ID expr」は関数の適用を表し、「type expr」は変換演算子の適用を表しています。 代替演算子 (|=>) と関係演算子 (=、<> など) との関連性はありません。

演算子の優先順位と関連性のテーブル

演算子
関連性
$、map、filter、traverse、sort、ID exprtype expr
R
(unary) -、not
R
*, /
L
+, -
L
=、<>、~=、~<>、<、<=、>、>=
And
L
Or
L
Implies
R
let、if、for_all、there_exists
R
|=>

フィードバック