From 224d6ed83efb86fa16ac802af65c63d1b97543e2 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sat, 29 Jan 2022 17:48:16 -0500 Subject: More detail in a few help pages --- docs/help/nothing.html | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'docs/help/nothing.html') diff --git a/docs/help/nothing.html b/docs/help/nothing.html index b83a26c4..f4361a83 100644 --- a/docs/help/nothing.html +++ b/docs/help/nothing.html @@ -7,6 +7,10 @@

Middle Dot (·)

·: Nothing

→full documentation

+

Indicates no value. If a left argument is Nothing, the function is called with no left argument, and if the right is Nothing, it's not called and "returns" Nothing.

+↗️
    · ⌽ "abc"  # Reverse instead of Rotate
+"cba"
+

In Trains

Nothing can serve as a left argument in a train to string together multiple monadic functions.

↗️
    (-+-) 5
@@ -15,8 +19,8 @@
     (-·+-) 5
 5
-

In Block Headers

-

For Block header pattern matching syntax, Nothing can be used to indicate an unused value.

+

Destructuring

+

For pattern matching in assignment or a block header, Nothing indicates an unused value.

↗️
    F ← {𝕊 a‿·‿b: a∾b}
 
     F 1‿2‿3
-- 
cgit v1.2.3