Add laws to Alternative
Nathan van Doorn
nvd1234 at gmail.com
Fri Nov 1 11:42:06 UTC 2013
Proposal: add the following laws to the documentation of
- empty <*> a = empty
- f <*> empty = empty
These laws correspond to the laws given in MonadPlus- if you take mzero =
empty and ap = (<*>), the ones in MonadPlus imply these- and I don't think
this proposal should be too controversial.
Time limit: 1 week
Nathan "Taneb" van Doorn
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Libraries