diff options
| -rw-r--r-- | doc/block.md | 1 | ||||
| -rw-r--r-- | doc/join.md | 2 | ||||
| -rw-r--r-- | docs/doc/block.html | 4 | ||||
| -rw-r--r-- | docs/doc/join.html | 6 |
4 files changed, 5 insertions, 8 deletions
diff --git a/doc/block.md b/doc/block.md index d4bdd71b..e565ab17 100644 --- a/doc/block.md +++ b/doc/block.md @@ -168,7 +168,6 @@ Bodies before the last two must have headers that include arguments. When a bloc If no header is compatible, the call results in an error. 3 CaseAdd 3 - ERROR ### Case headers diff --git a/doc/join.md b/doc/join.md index 3b42069f..04fa8a0e 100644 --- a/doc/join.md +++ b/doc/join.md @@ -15,9 +15,7 @@ To join with a separator in between, we might prepend the separator to each stri Join requires each element of its argument to be an array, and their ranks to match exactly. No rank extension is performed. ∾"abc"‿'d'‿"ef" # Includes an atom - RANK ERROR ∾"abc"‿(<'d')‿"ef" # Includes a unit - RANK ERROR However, Join has higher-dimensional uses as well. Given a rank-`m` array of rank-`n` arrays (requiring `m≤n`), it will merge arrays along their first `m` axes. For example, if the argument is a matrix of matrices representing a [block matrix](https://en.wikipedia.org/wiki/Block_matrix), Join will give the corresponding unblocked matrix as its result. diff --git a/docs/doc/block.html b/docs/doc/block.html index 10896e93..1fcd1dd6 100644 --- a/docs/doc/block.html +++ b/docs/doc/block.html @@ -195,8 +195,8 @@ ⟨ 2 4 ⟩ </pre> <p>If no header is compatible, the call results in an error.</p> -<pre> <span class='Number'>3</span> <span class='Function'>CaseAdd</span> <span class='Number'>3</span> -<span class='Function'>ERROR</span> +<a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=MyBDYXNlQWRkIDM=">↗️</a><pre> <span class='Number'>3</span> <span class='Function'>CaseAdd</span> <span class='Number'>3</span> +ERROR </pre> <h3 id="case-headers">Case headers</h3> <p>A special rule allows for convenient case-matching syntax for one-argument functions. In any function header with one argument, the function name can be omitted as long as the argument is <em>not</em> a plain identifier—it must be <code><span class='Value'>𝕩</span></code> or a compound value like a list to distinguish it from an immediate block label.</p> diff --git a/docs/doc/join.html b/docs/doc/join.html index 55d58818..c324a706 100644 --- a/docs/doc/join.html +++ b/docs/doc/join.html @@ -15,10 +15,10 @@ "time to join some words" </pre> <p>Join requires each element of its argument to be an array, and their ranks to match exactly. No rank extension is performed.</p> -<pre> <span class='Function'>∾</span><span class='String'>"abc"</span><span class='Ligature'>‿</span><span class='String'>'d'</span><span class='Ligature'>‿</span><span class='String'>"ef"</span> <span class='Comment'># Includes an atom -</span><span class='Function'>RANK</span> <span class='Function'>ERROR</span> +<a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=4oi+ImFiYyLigL8nZCfigL8iZWYiICAjIEluY2x1ZGVzIGFuIGF0b20K4oi+ImFiYyLigL8oPCdkJynigL8iZWYiICAjIEluY2x1ZGVzIGEgdW5pdA==">↗️</a><pre> <span class='Function'>∾</span><span class='String'>"abc"</span><span class='Ligature'>‿</span><span class='String'>'d'</span><span class='Ligature'>‿</span><span class='String'>"ef"</span> <span class='Comment'># Includes an atom +</span>ERROR <span class='Function'>∾</span><span class='String'>"abc"</span><span class='Ligature'>‿</span><span class='Paren'>(</span><span class='Function'><</span><span class='String'>'d'</span><span class='Paren'>)</span><span class='Ligature'>‿</span><span class='String'>"ef"</span> <span class='Comment'># Includes a unit -</span><span class='Function'>RANK</span> <span class='Function'>ERROR</span> +</span>ERROR </pre> <p>However, Join has higher-dimensional uses as well. Given a rank-<code><span class='Value'>m</span></code> array of rank-<code><span class='Value'>n</span></code> arrays (requiring <code><span class='Value'>m</span><span class='Function'>≤</span><span class='Value'>n</span></code>), it will merge arrays along their first <code><span class='Value'>m</span></code> axes. For example, if the argument is a matrix of matrices representing a <a href="https://en.wikipedia.org/wiki/Block_matrix">block matrix</a>, Join will give the corresponding unblocked matrix as its result.</p> <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=4oqiIG0g4oaQICgz4oC/MeKIvuKMnDTigL8y4oC/NSkg4qWKwqggMuKAvzPipYrihpU2CuKIviBtICAjIEpvaW4gYWxsIHRoYXQgdG9nZXRoZXI=">↗️</a><pre> <span class='Function'>⊢</span> <span class='Value'>m</span> <span class='Gets'>←</span> <span class='Paren'>(</span><span class='Number'>3</span><span class='Ligature'>‿</span><span class='Number'>1</span><span class='Function'>∾</span><span class='Modifier'>⌜</span><span class='Number'>4</span><span class='Ligature'>‿</span><span class='Number'>2</span><span class='Ligature'>‿</span><span class='Number'>5</span><span class='Paren'>)</span> <span class='Function'>⥊</span><span class='Modifier'>¨</span> <span class='Number'>2</span><span class='Ligature'>‿</span><span class='Number'>3</span><span class='Function'>⥊↕</span><span class='Number'>6</span> |