aboutsummaryrefslogtreecommitdiff
path: root/help/nothing.md
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2022-01-29 17:48:16 -0500
committerMarshall Lochbaum <mwlochbaum@gmail.com>2022-01-29 17:48:16 -0500
commit224d6ed83efb86fa16ac802af65c63d1b97543e2 (patch)
treec7f53ccc2d752668d252494e3f648eef1107e2a9 /help/nothing.md
parent9cfc45f731a121282f47218d6ab80c5b9b06e277 (diff)
More detail in a few help pages
Diffstat (limited to 'help/nothing.md')
-rw-r--r--help/nothing.md8
1 files changed, 6 insertions, 2 deletions
diff --git a/help/nothing.md b/help/nothing.md
index 0a5ad783..23aee6ba 100644
--- a/help/nothing.md
+++ b/help/nothing.md
@@ -5,6 +5,10 @@
## `·`: Nothing
[→full documentation](../doc/expression.md#nothing)
+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
+
### In Trains
Nothing can serve as a left argument in a train to string together multiple monadic functions.
@@ -13,9 +17,9 @@ Nothing can serve as a left argument in a train to string together multiple mona
(-·+-) 5
-### In Block Headers
+### Destructuring
-For Block header pattern matching syntax, Nothing can be used to indicate an unused value.
+For pattern matching in assignment or a block header, Nothing indicates an unused value.
F ← {𝕊 a‿·‿b: a∾b}