diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-29 17:48:16 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-29 17:48:16 -0500 |
| commit | 224d6ed83efb86fa16ac802af65c63d1b97543e2 (patch) | |
| tree | c7f53ccc2d752668d252494e3f648eef1107e2a9 /help/nothing.md | |
| parent | 9cfc45f731a121282f47218d6ab80c5b9b06e277 (diff) | |
More detail in a few help pages
Diffstat (limited to 'help/nothing.md')
| -rw-r--r-- | help/nothing.md | 8 |
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} |
