1 Nov
2013
1 Nov
'13
7:42 a.m.
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