diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-08-04 14:14:14 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-08-04 14:14:14 -0400 |
| commit | 852bc0b8ba67a47dfe4f6c718fcddfd80415d423 (patch) | |
| tree | 34e8f87de27eec5889e6dca1df4757fc0863556f | |
| parent | 78c041344b4eb63097b91487de782f08ed9c96b2 (diff) | |
Specify how •Decompose handles non-primitive non-block operations
| -rw-r--r-- | docs/spec/system.html | 4 | ||||
| -rw-r--r-- | spec/system.md | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/docs/spec/system.html b/docs/spec/system.html index cc25518b..6cf5bcc9 100644 --- a/docs/spec/system.html +++ b/docs/spec/system.html @@ -354,7 +354,7 @@ </table> <p><code><span class='Function'>•Glyph</span></code> gives the glyph corresponding to a primitive as a single character, for example returning <code><span class='String'>'+'</span></code> given an argument matching <code><span class='Function'>+</span></code>. It causes an error if the argument is not a primitive.</p> <p><code><span class='Function'>•Source</span></code> gives a string containing a block's source, including the enclosing braces <code><span class='Brace'>{}</span></code>. It causes an error if the argument is not a block. In contrast to <code><span class='Function'>•Glyph</span></code>, this function does not give full information about <code><span class='Value'>𝕩</span></code> because the result cannot convey environment or mutable identity.</p> -<p><code><span class='Function'>•Decompose</span></code> breaks down one level of a compound function or modifier, returning a list with a code giving what kind of structure it has (as listed in the table below) followed by each of its components. Non-operations do not cause an error, but return code -1, then the argument as a single component. The result is thus a list of length 2 to 4, and <code><span class='Function'>•Decompose</span></code> cannot cause an error.</p> +<p><code><span class='Function'>•Decompose</span></code> breaks down one level of a compound function or modifier, returning a list with a code giving what kind of structure it has (as listed in the table below) followed by each of its components. "Other" includes blocks and system functions. Non-operations do not cause an error, but return code -1, then the argument as a single component. The result is thus a list of length 2 to 4, and <code><span class='Function'>•Decompose</span></code> cannot cause an error.</p> <table> <thead> <tr> @@ -375,7 +375,7 @@ <td><code><span class='Value'>𝕩</span></code></td> </tr> <tr> -<td>Block</td> +<td>Other</td> <td>1</td> <td><code><span class='Value'>𝕩</span></code></td> </tr> diff --git a/spec/system.md b/spec/system.md index c82229f3..041b4539 100644 --- a/spec/system.md +++ b/spec/system.md @@ -167,13 +167,13 @@ Each function in this section is monadic. `•Source` gives a string containing a block's source, including the enclosing braces `{}`. It causes an error if the argument is not a block. In contrast to `•Glyph`, this function does not give full information about `𝕩` because the result cannot convey environment or mutable identity. -`•Decompose` breaks down one level of a compound function or modifier, returning a list with a code giving what kind of structure it has (as listed in the table below) followed by each of its components. Non-operations do not cause an error, but return code -1, then the argument as a single component. The result is thus a list of length 2 to 4, and `•Decompose` cannot cause an error. +`•Decompose` breaks down one level of a compound function or modifier, returning a list with a code giving what kind of structure it has (as listed in the table below) followed by each of its components. "Other" includes blocks and system functions. Non-operations do not cause an error, but return code -1, then the argument as a single component. The result is thus a list of length 2 to 4, and `•Decompose` cannot cause an error. | Kind | Code | Components |---------------|------|----------- | Non-operation | -1 | `𝕩` | Primitive | 0 | `𝕩` -| Block | 1 | `𝕩` +| Other | 1 | `𝕩` | 2-train | 2 | ` g,h` | 3-train | 3 | `f,g,h` | 1-mod | 4 | `𝕗,𝕣` |
