diff options
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} |