aboutsummaryrefslogtreecommitdiff
path: root/spec
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2021-12-28 10:26:33 -0500
committerMarshall Lochbaum <mwlochbaum@gmail.com>2021-12-28 10:26:33 -0500
commitd58677125a88fcba78d1ac047b88043f6eca2489 (patch)
treed39bcbbf0a516e90c40e9815257d6c64ff7f425b /spec
parent86abbfd45d5043963f7f60ab5f69005546b0faa5 (diff)
Improve spec explanation of •Decompose
Diffstat (limited to 'spec')
-rw-r--r--spec/system.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/system.md b/spec/system.md
index 6567f341..6e949903 100644
--- a/spec/system.md
+++ b/spec/system.md
@@ -187,7 +187,7 @@ 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. "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.
+`•Decompose` breaks down one level of a compound function, returning a list with a code giving what kind of structure it has followed by each of its components. Possible codes are listed in the table below according to the rule that forms the derived function—train or 2-modifier application. Non-function values, and some functions, can't be broken down. They are still classified with a code: -1 for a non-operation, 0 for a primitive, and 1 for other operations. "Other" includes blocks and system operations. The result is thus a list of length 2 to 4, and `•Decompose` cannot cause an error.
| Kind | Code | Components
|---------------|------|-----------