On 15 Dec 2010, at 17:48, Brent Yorgey wrote:
On Wed, Dec 15, 2010 at 06:25:30PM +0100, Maciej Piechotka wrote:
On Wed, 2010-12-15 at 13:51 +0200, John Smith wrote:
On 15/12/2010 11:39, Lennart Augustsson wrote:
Any refutable pattern match in do would force MonadFail (or
MonadPlus if you prefer). So
[..]
As far as type inference and desugaring goes, it seems very
little would have to be changed in an implementation.
Is there a need for a MonadFail, as distinct from mzero? fail
always seems to be defined as error in ordinary monads,
and as mzero in MonadPlus (or left at the default error).
Not all types can implement mplus to begin with even if they can have
'zero' type. For example technically Maybe breaks the laws while
still
having useful fail:
[..]
But that depends on what laws you choose for MonadPlus. See
http://www.haskell.org/haskellwiki/MonadPlus .
What has any of this to do with monads?
Cheers
Conor
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
