Opened 14 years ago

Last modified 4 years ago

#105 new task

Disambiguate MonadPlus

Reported by: ashley@… Owned by: none
Priority: normal Milestone:
Version: Keywords:
Cc: Meta Owner: CLiC
State: Section: Predefined Types/Classes
Related Tickets:

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 (6)

comment:1 Changed 13 years ago by ijones

component: HaskellPrimeProposal
Owner: changed from ijones to none

comment:2 Changed 10 years ago by (none)

Milestone: Scope Defined

Milestone Scope Defined deleted

comment:3 Changed 4 years ago by Herbert Valerio Riedel

Milestone:

moving non-milestoned many year old legacy tickets out of the way

comment:4 Changed 4 years ago by Herbert Valerio Riedel

Priority: majornormal

Set default priority (as this confuses Trac otherwise)

comment:5 Changed 4 years ago by David Luposchainsky

Section: Predefined Types/Classes

Unlike breaking change. Pointed doesn't have the favour of the community, and splitting up classes is hard, and only worth it if there's significant benefit.

comment:6 Changed 4 years ago by Herbert Valerio Riedel

Meta Owner: CLiC
Note: See TracTickets for help on using tickets.