diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-01-22 15:24:56 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-01-22 15:24:56 -0500 |
| commit | 64ed742554609d75ad3e51f79f057ee532230a49 (patch) | |
| tree | 286cba6ba464c67c9cb9184835d846b5ebdd81f2 /spec | |
| parent | 87f2dfdd057f7caefa08594dac04d0858427d72a (diff) | |
Specify fill for <
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/inferred.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/spec/inferred.md b/spec/inferred.md index 4b729225..5d815c81 100644 --- a/spec/inferred.md +++ b/spec/inferred.md @@ -44,12 +44,13 @@ Combinators `⊣⊢!˙˜´˝∘○⊸⟜⊘◶⍟` do not affect fill element co 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 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⚇0𝕩` | `↕` |