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 --- help/nothing.md | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'help/nothing.md') 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} -- cgit v1.2.3