From 8b115bd20d7a91361a7fe87f293a8a53ff12406c Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sun, 5 Jun 2022 17:19:14 -0400 Subject: Editing continues --- docs/doc/pair.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/doc/pair.html') diff --git a/docs/doc/pair.html b/docs/doc/pair.html index a3a3a33e..40d153e6 100644 --- a/docs/doc/pair.html +++ b/docs/doc/pair.html @@ -39,7 +39,7 @@ ⟨ 9 3 18 2 ⟩

Pair versus Couple

-

Enlist and Pair closely related to Solo and Couple, in that ⋈ is equivalent to ≍○< and ≍ is equivalent to >∘⋈. However, the result of ⋈ is always a list (rank 1) while Solo or Couple return an array of rank at least 1.

+

Enlist and Pair are closely related to Solo and Couple, in that ⋈ is equivalent to ≍○< and ≍ is equivalent to >∘⋈. However, the result of ⋈ is always a list (rank 1) while Solo or Couple return an array of rank at least 1.

↗️
    "abc" ≍ "def"
 ┌─     
 ╵"abc  
@@ -56,7 +56,7 @@
     "abc" ⋈ "defg"
 ⟨ "abc" "defg" ⟩
-

The difference is that Couple treats the arguments as cells, and adds a dimension, while Pair treats them as elements, adding a layer of depth. Couple is a "flat" version of Pair, much like Cells (˘) is a flat version of Each (¨). Pair is more versatile, but—precisely because of its restrictions—Couple may allow more powerful array operations on the result.

+

The difference is that Couple treats the arguments as cells, and adds a dimension, while Pair treats them as elements, adding a layer of depth. Couple is a "flat" version of Pair, much like Cells (˘) is a flat version of Each (¨). Pair is more versatile, but—precisely because of its restrictions—Couple may allow more powerful array operations on the result.

Fill element

Enlist and Pair set the result's fill element, while list notation doesn't have to. So the following result is guaranteed:

↗️
    4 ↑ "a"‿5 ⋈ "b"‿7
-- 
cgit v1.2.3