diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-11-03 15:41:10 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-11-03 15:41:10 -0400 |
| commit | 30b5188c23576d5e119bbc8d27cd08a3015a75c9 (patch) | |
| tree | ab3b0fa7ab2993cf81745dc01232000d23a10eaa /doc/fill.md | |
| parent | 946df11216a89db2d03ebf476c789462eeb92e2e (diff) | |
Enlist/Pair documentation
Diffstat (limited to 'doc/fill.md')
| -rw-r--r-- | doc/fill.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/fill.md b/doc/fill.md index 6b4bd53c..8c7c626c 100644 --- a/doc/fill.md +++ b/doc/fill.md @@ -54,7 +54,7 @@ Most other primitives fit in one of three broad categories as shown in the table | `∩` | `>∾` | `∾≍»«` | `0` | `≢/⍋⍒∊⊐⊒` | `⍋⍒⊐⊒∊⍷` -Besides these, there are a few primitives with special fills. [Enclose](enclose.md) (`<`) uses a fill derived directly from `𝕩`, with all numbers replaced by `0` and characters by `' '` (if it contains non-data atoms, the fill doesn't exist). [Range](range.md) (`↕`) does the same, although the reason is less obvious: the result elements don't match `𝕩`, but they have the same structure. +Besides these, there are a few primitives with special fills. [Enclose](enclose.md) (`<`) uses a fill derived directly from `𝕩`, with all numbers replaced by `0` and characters by `' '` (if it contains non-data atoms, the fill doesn't exist). [Enlist](pair.md) works the same way, while [Pair](pair.md) sets the fill this way based on both `𝕨` and `𝕩`, if they agree. [Range](range.md) (`↕`) does the same, although the reason is less obvious: the result elements don't match `𝕩`, but they have the same structure. [Prefixes and Suffixes](prefixes.md) (`↑↓`) use `0↑𝕩` for the fill, as do [Group](group.md) and Group Indices (`⊔`) in the single-axis case. Fills for multi-axis `⊔` are more complicated, but follow the rule that variable-length axes are changed to length 0. The *elements* of the result of `⊔` also have a fill specified: the same as `𝕩` for Group, or `0` for Group Indices. |
