4 ms·
Yes, but its usually obvious which one is meant, so you don't bother saying under what operation. Option is a monad under the same concatenation as Array, just
by edflsafoiewq 5y ago
Yes, but its usually obvious which one is meant, so you don't bother saying under what operation. Option is a monad under the same concatenation as Array, just think of them as arrays that always have length 0 or 1.
- deepsun 5y agoHow to concatenate Option-s? Btw your comment seems to contradict another sibling comment.
- edflsafoiewq 5y agoLike I said, view them as an array with 0 or 1 element and do it just like for arrays. There are only three possibilities: [] => [] [[]] => [] [[a]] => [a]