MonadPlus instance for WrappedMonad?
Hello, I'm glad that WrappedMonad is Monad since base-4.7.0.0, but I found out that MonadPlus instance is still missing. Is there any reason not to make MonadPlus m => MonadPlus (WrappedMonad m)? Fumiaki
Yes. WrappedMonad is obsolete in 4.8.0, now that Monad is a subclass of
Applicative. I think it is likely to be deprecated soon. The MonadPlus
class itself is now essentially a shorthand for Monad+Alternative. I don't
think it likely that any further work will be put into those two.
On Dec 9, 2014 9:52 PM, "Fumiaki Kinoshita"
Hello,
I'm glad that WrappedMonad is Monad since base-4.7.0.0, but I found out that MonadPlus instance is still missing.
Is there any reason not to make MonadPlus m => MonadPlus (WrappedMonad m)?
Fumiaki
_______________________________________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/mailman/listinfo/libraries
Am 10.12.2014 um 04:00 schrieb David Feuer:
Yes. WrappedMonad is obsolete in 4.8.0, now that Monad is a subclass of Applicative. I think it is likely to be deprecated soon. The MonadPlus class itself is now essentially a shorthand for Monad+Alternative. I don't think it likely that any further work will be put into those two.
But adding the MonadPlus instance for WrappedMonad seems to be little work and might simplify the transition to the new glorious AMP world.
participants (3)
-
David Feuer -
Fumiaki Kinoshita -
Henning Thielemann