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

David Feuer david.feuer at gmail.com
Tue Dec 30 01:09:31 UTC 2014


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


More information about the Libraries mailing list