Opened 7 years ago

Closed 7 years ago

#3524 closed proposal (fixed)

Add mfilter to Control.Monad

Reported by: JonFairbairn Owned by: igloo
Priority: normal Milestone: 7.0.1
Component: libraries/base Version: 6.10.4
Keywords: Cc: merehap@…
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

In the comments of #3453, I contemplated a filter function on MonadPlus. The consensus seems to be that this function is an appropriate addition.

mfilter is just List.filter generalised to any MonadPlus.

It must have been embodied in Monad comprehensions when we had those, so I'm sure it's simply an oversight that it hasn't been included here already.

Attachments (1)

mfilter-proposal-patch (12.5 KB) - added by JonFairbairn 7 years ago.
Patch to add mfilter

Download all attachments as: .zip

Change History (7)

Changed 7 years ago by JonFairbairn

Attachment: mfilter-proposal-patch added

Patch to add mfilter

comment:1 Changed 7 years ago by igloo

difficulty: Unknown
Milestone: Not GHC

comment:2 Changed 7 years ago by JonFairbairn

No one opposed this, but I don't have permissions to commit the patch. Please can someone do it for me?

comment:3 Changed 7 years ago by igloo

Milestone: Not GHC6.14.1

comment:4 Changed 7 years ago by merehap

Cc: merehap@… added
Type of failure: None/Unknown

comment:5 Changed 7 years ago by igloo

Owner: set to igloo

comment:6 Changed 7 years ago by igloo

Resolution: fixed
Status: newclosed

Applied

Note: See TracTickets for help on using tickets.