diff options
| -rw-r--r-- | docs/spec/inferred.html | 10 | ||||
| -rw-r--r-- | spec/inferred.md | 6 |
2 files changed, 8 insertions, 8 deletions
diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html index 9b11f276..e587655a 100644 --- a/docs/spec/inferred.html +++ b/docs/spec/inferred.html @@ -74,7 +74,7 @@ <p>In addition to the requirements below, the fill element for the value of a string literal is <code><span class='String'>' '</span></code>.</p> <h3 id="required-functions">Required functions</h3> <p>Combinators <code><span class='Function'>⊣⊢!</span><span class='Modifier'>˙˜´˝</span><span class='Modifier2'>∘○⊸⟜⊘◶⍟</span></code> do not affect fill element computation: if the combinator calls a function that computes a fill element, then that fill element must be retained if the result is passed to other functions or returned. <code><span class='Modifier2'>⍟</span></code> constructs arrays if its right operand is or contains arrays, and the fill elements of these arrays are not specified; converting <code><span class='Value'>𝕩</span></code> to a fill element is a reasonable choice in some cases but not others.</p> -<p>Arithmetic primitives—all valences of <code><span class='Function'>+-×÷⋆√⌊⌈|¬∧∨</span></code> and dyadic <code><span class='Function'><>≠=≤≥</span></code>—obtain their fill elements by applying to the fill elements of the arguments. If this is an error, there is no fill element; otherwise, the fill element is the result, with all numbers in it changed to <code><span class='Number'>0</span></code> and all characters changed to <code><span class='String'>' '</span></code>.</p> +<p>Arithmetic primitives—all valences of <code><span class='Function'>+-×÷⋆√⌊⌈|¬</span></code> and dyadic <code><span class='Function'>∧∨<>≠=≤≥</span></code>—obtain their fill elements by applying to the fill elements of the arguments. If this is an error, there is no fill element; otherwise, the fill element is the result, with all numbers in it changed to <code><span class='Number'>0</span></code> and all characters changed to <code><span class='String'>' '</span></code>.</p> <p>Fill elements for many primitives are given in the table below. The "Fill" column indicates the strategy used to compute the result's fill. Fields <code><span class='Number'>0</span></code>, <code><span class='Value'>𝕩</span></code>, <code><span class='Number'>0</span><span class='Function'>↑</span><span class='Value'>𝕩</span></code>, and <code><span class='Number'>0</span><span class='Modifier2'>⚇</span><span class='Number'>0</span><span class='Value'>𝕩</span></code> indicate the fill directly, while <code><span class='Function'>⊢</span></code> and <code><span class='Value'>∩</span></code> indicate that the fill is to be computed from the argument fills (if not all arguments have fills, then the fill element is unspecified). For <code><span class='Function'>⊢</span></code>, the fill element of the result is the fill element of <code><span class='Value'>𝕩</span></code>. For <code><span class='Value'>∩</span></code>, the fill is equal to the fill values for multiple arrays, provided that they are all equal (it's unspecified if they are not all equal). In the two argument case, these arrays are <code><span class='Value'>𝕨</span></code> and <code><span class='Value'>𝕩</span></code>. In the one-argument case, they are the elements of <code><span class='Value'>𝕩</span></code>; however, if <code><span class='Value'>𝕩</span></code> is empty, then the result's fill is the fill of the fill of <code><span class='Value'>𝕩</span></code>.</p> <table> <thead> @@ -88,14 +88,14 @@ <tbody> <tr> <td><code><span class='Function'>⊢</span></code></td> -<td><code><span class='Function'>⥊⌽⍉⊏≍∧∨</span></code></td> -<td><code><span class='Function'>⥊⌽⍉⊏↑↓↕/⍷</span></code></td> +<td><code><span class='Function'>⥊⌽⍉⊏≍∧∨⍷</span></code></td> +<td><code><span class='Function'>⥊⌽⍉⊏↑↓↕/</span></code></td> <td><code><span class='Function'>𝔽</span><span class='Modifier'>`</span></code></td> </tr> <tr> <td><code><span class='Number'>0</span></code></td> -<td><code><span class='Function'>≢/⍋⍒∊⍷⊐⊒</span></code></td> -<td><code><span class='Function'>⍋⍒∊⊐⊒</span></code></td> +<td><code><span class='Function'>≢/⍋⍒∊⊐⊒</span></code></td> +<td><code><span class='Function'>⍋⍒∊⍷⊐⊒</span></code></td> <td></td> </tr> <tr> diff --git a/spec/inferred.md b/spec/inferred.md index 5d815c81..77d83b62 100644 --- a/spec/inferred.md +++ b/spec/inferred.md @@ -42,14 +42,14 @@ In addition to the requirements below, the fill element for the value of a strin Combinators `⊣⊢!˙˜´˝∘○⊸⟜⊘◶⍟` do not affect fill element computation: if the combinator calls a function that computes a fill element, then that fill element must be retained if the result is passed to other functions or returned. `⍟` constructs arrays if its right operand is or contains arrays, and the fill elements of these arrays are not specified; converting `𝕩` to a fill element is a reasonable choice in some cases but not others. -Arithmetic primitives—all valences of `+-×÷⋆√⌊⌈|¬∧∨` and dyadic `<>≠=≤≥`—obtain their fill elements by applying to the fill elements of the arguments. If this is an error, there is no fill element; otherwise, the fill element is the result, with all numbers in it changed to `0` and all characters changed to `' '`. +Arithmetic primitives—all valences of `+-×÷⋆√⌊⌈|¬` and dyadic `∧∨<>≠=≤≥`—obtain their fill elements by applying to the fill elements of the arguments. If this is an error, there is no fill element; otherwise, the fill element is the result, with all numbers in it changed to `0` and all characters changed to `' '`. Fill elements for many primitives are given in the table below. The "Fill" column indicates the strategy used to compute the result's fill. Fields `0`, `𝕩`, `0↑𝕩`, and `0⚇0𝕩` indicate the fill directly, while `⊢` and `∩` indicate that the fill is to be computed from the argument fills (if not all arguments have fills, then the fill element is unspecified). For `⊢`, the fill element of the result is the fill element of `𝕩`. For `∩`, the fill is equal to the fill values for multiple arrays, provided that they are all equal (it's unspecified if they are not all equal). In the two argument case, these arrays are `𝕨` and `𝕩`. In the one-argument case, they are the elements of `𝕩`; however, if `𝕩` is empty, then the result's fill is the fill of the fill of `𝕩`. | Fill | Monads | Dyads | Modifiers |--------|------------|-------------|---------- -| `⊢` | `⥊⌽⍉⊏≍∧∨` | `⥊⌽⍉⊏↑↓↕/⍷` | `` 𝔽` `` -| `0` | `≢/⍋⍒∊⍷⊐⊒` | `⍋⍒∊⊐⊒` +| `⊢` | `⥊⌽⍉⊏≍∧∨⍷` | `⥊⌽⍉⊏↑↓↕/` | `` 𝔽` `` +| `0` | `≢/⍋⍒∊⊐⊒` | `⍋⍒∊⍷⊐⊒` | `𝕩` | `<` | `∩` | `>∾` | `∾≍` | `0↑𝕩` | `↑↓` |