Ticket #105 (new task)

Opened 3 years ago

Last modified 2 years ago

Disambiguate MonadPlus

Reported by: ashley@semantic.org Assigned to: none
Priority: major Milestone: Scope Defined
Component: Proposal Version:
Keywords: Cc:
Impact: Adopt:
Topic: Libraries

Description

Reform the MonadPlus class along these lines: 

class Monad m => MonadZero m where
   mzero :: m a
class MonadZero m => MonadPlus m where
   mplus :: m a -> m a -> m a
class MonadZero m => MonadOr m where
   morelse :: m a -> m a -> m a

http://haskell.org/haskellwiki/MonadPlus_reform_proposal

Change History

10/25/06 09:39:15 changed by ijones

  • owner changed from ijones to none.
  • component changed from HaskellPrime to Proposal.