※ 2023-01-17に書いたけど投稿忘れ。演算子の優先度 - (新) 檜山正幸のキマイラ飼育記 メモ編 の続き
Leanの場合、まだ調整は必要かも知れない:
- PrefixSuffixPrecidence 1024 = max
- ArgumentPrecidence 1023 = arg
- CompositionPrecedence 90 ($`\circ`$)
- ExponentialPrecedence 80 (^)
- MultiplicationPrecedence 70 (*)
- AdditionPrecedence 65 (+)
- BindPrecedence 55 (>>=)
- ComparisonPrecedence 50 (=)
- LogicalNegationPrecedence 40 (¬)
- LogicalConjunctionPrecedence 35 (∧)
- LogicalDisjunctionPrecedence 30 (∨)
- TernaryPrecedence 25 ( ? : )
- AssignmentPrecedence 20 (:←)
- PipePrecedence 10 = min (|>)
NOTE: If parameters of a notation are not explicitly given a precedence they will
implicitly be tagged with precedence 0.