Nicolas Pouillard schrieb:
class MonadFailure e m where failure :: e -> m a
Why is it called "MonadFailure" (specifically, what's the "Monad" bit doing
there)?
Because of 'Monad m' being a superclass of 'MonadFailure e m'.
Here is the class:
class Monad m => MonadFailure e m where
failure :: e -> m a
Oh ok; I misguidedly took the line at the top to be the class definition. I'd
still be interested if such a simple Failure class could be meaningful or
useful for mere, say, Applicatives.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
