Opened 6 years ago

Closed 5 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 Revisions:

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 6 years ago.
Patch to add mfilter

Download all attachments as: .zip

Change History (7)

Changed 6 years ago by JonFairbairn

Patch to add mfilter

comment:1 Changed 6 years ago by igloo

  • difficulty set to Unknown
  • Milestone set to Not GHC

comment:2 Changed 6 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 6 years ago by igloo

  • Milestone changed from Not GHC to 6.14.1

comment:4 Changed 5 years ago by merehap

  • Cc merehap@… added
  • Type of failure set to None/Unknown

comment:5 Changed 5 years ago by igloo

  • Owner set to igloo

comment:6 Changed 5 years ago by igloo

  • Resolution set to fixed
  • Status changed from new to closed

Applied

Note: See TracTickets for help on using tickets.