#3453: Add "check" function to Control.Monad
---------------------------------+------------------------------------------
Reporter: JonFairbairn | Owner:
Type: proposal | Status: closed
Priority: normal | Milestone: Not GHC
Component: libraries/base | Version: 6.10.4
Severity: normal | Resolution: wontfix
Keywords: | Difficulty: Unknown
Testcase: | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
---------------------------------+------------------------------------------
Changes (by JonFairbairn):
* status: new => closed
* resolution: => wontfix
Comment:
I've opened ticket #3524 to add mfilter.
To paraphrase what I said on the libraries mailing list, the consensus is
not to add check because it is a small function that readily be written in
terms of other well known ones, though this writing will be much easier in
the presence of mfilter.
I fear I should have made it clear in the proposal that the point of check
is that it's more algebraically handy than guard, but as it's too late to
replace guard we would have had to have both.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3453#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
