Proposal: Move some functions from Control.Monad to Data.List

Edward Kmett ekmett at gmail.com
Tue Dec 30 04:45:31 UTC 2014


I'd be a lot more keen on this proposal if it was suggesting just to *also*
export them from Data.List, rather than move them. A lot of code imports
them from their existing location, and this doesn't provide a clean upgrade
path for users.

-Edward


On Mon, Dec 29, 2014 at 8:09 PM, David Feuer <david.feuer at gmail.com> wrote:

> Specifically:
>
> filterM,
> mapAndUnzipM (unless we can sensibly and efficiently generalize it
> from lists to arbitrary Functors or at least Traversables, which looks
> like it might be possible),
> zipWithM, zipWithM_,
> replicateM, replicateM_
>
> These functions all have to do with monads, yes, but they're about
> using monads with lists. Some other types are perfectly capable of
> doing similar things with monads.
>
> David the Feuer
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20141229/1fe35a64/attachment.html>


More information about the Libraries mailing list