diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-11-16 21:36:14 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-11-16 21:36:14 -0500 |
| commit | 7ef8161ca78a0b807d13f64cdfbf8679bbc8d6fe (patch) | |
| tree | a656d7905ed6474bfacef33b366c240e0cc751e4 /docs/spec/grammar.html | |
| parent | 25311370e215cd12018dde8bd162583dbe36d473 (diff) | |
Specify monadic modified assignment
Diffstat (limited to 'docs/spec/grammar.html')
| -rw-r--r-- | docs/spec/grammar.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/spec/grammar.html b/docs/spec/grammar.html index da83d87c..457fd039 100644 --- a/docs/spec/grammar.html +++ b/docs/spec/grammar.html @@ -63,7 +63,7 @@ <span class='Value'>lhs</span> <span class='Function'>=</span> <span class='Value'>s</span> <span class='Function'>|</span> <span class='Value'>lhsList</span> <span class='Function'>|</span> <span class='Value'>lhsStr</span> <span class='Value'>subExpr</span> <span class='Function'>=</span> <span class='Value'>arg</span> <span class='Function'>|</span> <span class='Value'>lhs</span> <span class='Function'>ASGN</span> <span class='Value'>subExpr</span> - <span class='Function'>|</span> <span class='Value'>lhs</span> <span class='Function'>Derv</span> <span class='String'>"↩"</span> <span class='Value'>subExpr</span> <span class='Comment'># Modified assignment + <span class='Function'>|</span> <span class='Value'>lhs</span> <span class='Function'>Derv</span> <span class='String'>"↩"</span> <span class='Value'>subExpr?</span> <span class='Comment'># Modified assignment </span></pre> <p>A header looks like a name for the thing being headed, or its application to inputs (possibly twice in the case of modifiers). As with assignment, it is restricted to a simple form with no extra parentheses. The full list syntax is allowed for arguments. As a special rule, a monadic function header specifically can omit the function when the argument is not just a name (as this would conflict with a subject label). The following cases define only headers with arguments, which are assumed to be special cases; there can be any number of these. Headers without arguments can only refer to the general case—note that operands are not pattern matched—so there can be at most two of these kinds of headers, indicating the monadic and dyadic cases.</p> <pre><span class='Value'>headW</span> <span class='Function'>=</span> <span class='Value'>subject</span> <span class='Function'>|</span> <span class='String'>"𝕨"</span> |