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
Control.Applicative.Alternative:

   - 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...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20131101/893eb4bb/attachment.html>


More information about the Libraries mailing list