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 /spec | |
| parent | 78c041344b4eb63097b91487de782f08ed9c96b2 (diff) | |
Specify how •Decompose handles non-primitive non-block operations
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/system.md | 4 |
1 files changed, 2 insertions, 2 deletions
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 | `𝕗,𝕣` |
