On 09/01/06, Twan van Laarhoven [EMAIL PROTECTED] wrote:
I was wondering, in the MonadPlus documentation it says that:
* mzero is the identity of mplus (and some extra conditions)
* mplus is an associative operation
While for Monoid we have:
* mempty is identity of mappend
*
I was wondering, in the MonadPlus documentation it says that:
* mzero is the identity of mplus (and some extra conditions)
* mplus is an associative operation
While for Monoid we have:
* mempty is identity of mappend
* mappend is an associative operation
MonadPlus is of course a