Difference between revisions of "MonadPlus"
Jump to navigation
Jump to search
(No difference)
|
Revision as of 23:04, 15 January 2006
The MonadPlus class is defined like this:
class (Monad m) => MonadPlus m where mzero :: m a mplus :: m a -> m a -> m a
The precise set of rules that MonadPlus should obey is not agreed upon.