From 9c2599cb11346602f84d32a2e327580547f19fa1 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sun, 30 Jan 2022 18:02:45 -0500 Subject: Document destructuring assignment --- docs/doc/block.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'docs/doc/block.html') diff --git a/docs/doc/block.html b/docs/doc/block.html index 40de8ab2..a31d33f3 100644 --- a/docs/doc/block.html +++ b/docs/doc/block.html @@ -166,9 +166,9 @@

Unlike these assignments, the header also constrains what inputs the block can take: a monadic 1-modifier like the one above can't take a right operand or left argument, and consequently its body can't contain 𝔾 or 𝕨. Calling it with a left argument, or a right argument that isn't a two-element list, will result in an error.

Destructuring

-

Arguments, but not operands, allow destructuring like assignment does. While assignment only tolerates lists of variables, header destructuring also allows constants. The argument must match the given structure, including the constants where they appear, or an error results.

-↗️
    Destruct ← { 𝕊 a‿1‿⟨b,2⟩: a≍b }
-    Destruct       5‿1‿⟨7,2⟩
+
Arguments and operands allow destructuring like assignment does. While assignment only tolerates lists of variables, header destructuring also allows constants. The argument must match the given structure, including the constants where they appear, or an error results.

+↗️
    Destruct ← { 𝕊 a‿1‿⟨b,·,2⟩: a≍b }
+    Destruct       5‿1‿⟨7,π,2⟩
 ⟨ 5 7 ⟩
 

 
Special names in headers

-- 
cgit v1.2.3