Add laws to Alternative

Nathan van Doorn nvd1234 at
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...
URL: <>

More information about the Libraries mailing list