diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/depth.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/depth.md b/doc/depth.md index 88473d58..8c77bf24 100644 --- a/doc/depth.md +++ b/doc/depth.md @@ -131,3 +131,5 @@ While a negative depth tells how many levels to go down, a non-negative depth gi With a positive operand, Depth doesn't have to use the same depth everywhere. Here, [Length](shape.md) is applied as soon as the depth for a particular element is 1 or less, including if the argument has depth 0. For example, it maps over `⟨2,⟨3,4⟩⟩`, but not over `⟨11,12⟩`, even though these are elements of the same array. ≠⚇1 ⟨1,⟨2,⟨3,4⟩⟩,⟨5,⟨6,7⟩,⟨8,9,10⟩⟩,⟨11,12⟩⟩ + +[Like the Rank modifier](rank.md#multiple-and-computed-ranks), the right operand `𝔾` is really a function that returns the depth to be used, and that depth can be a single number, or a list of one to three numbers. One number gives the same depth to all arguments, two correspond to `𝕨` and `𝕩`, and three to monadic `𝕩`, and dyadic `𝕨` and `𝕩`. |