Traversable.mapM_ missing

On some haskell list I read that for lists, mapM_ f l is more space-efficient that just void $ mapM f l Any reason why mapM_ is missing from Data.Traversable? Cheers, Andreas -- Andreas Abel <>< Du bist der geliebte Mensch. Theoretical Computer Science, University of Munich Oettingenstr. 67, D-80538 Munich, GERMANY andreas.abel@ifi.lmu.de http://www2.tcs.ifi.lmu.de/~abel/

It lives in Data.Foldable. You don't need the full power of Traversable for
mapM_!
On Sat, May 18, 2013 at 5:21 PM, Andreas Abel
On some haskell list I read that for lists,
mapM_ f l
is more space-efficient that just
void $ mapM f l
Any reason why mapM_ is missing from Data.Traversable?
Cheers, Andreas
-- Andreas Abel <>< Du bist der geliebte Mensch.
Theoretical Computer Science, University of Munich Oettingenstr. 67, D-80538 Munich, GERMANY
andreas.abel@ifi.lmu.de http://www2.tcs.ifi.lmu.de/~**abel/ http://www2.tcs.ifi.lmu.de/~abel/
______________________________**_________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/**mailman/listinfo/librarieshttp://www.haskell.org/mailman/listinfo/libraries

Because it is supplied by the Foldable superclass.
On Sat, May 18, 2013 at 5:21 PM, Andreas Abel
On some haskell list I read that for lists,
mapM_ f l
is more space-efficient that just
void $ mapM f l
Any reason why mapM_ is missing from Data.Traversable?
Cheers, Andreas
-- Andreas Abel <>< Du bist der geliebte Mensch.
Theoretical Computer Science, University of Munich Oettingenstr. 67, D-80538 Munich, GERMANY
andreas.abel@ifi.lmu.de http://www2.tcs.ifi.lmu.de/~**abel/ http://www2.tcs.ifi.lmu.de/~abel/
______________________________**_________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/**mailman/listinfo/librarieshttp://www.haskell.org/mailman/listinfo/libraries

Thanks, Henning, Jake, and Edward, for the quick answer! On 18.05.13 11:34 PM, Edward Kmett wrote:
Because it is supplied by the Foldable superclass.
On Sat, May 18, 2013 at 5:21 PM, Andreas Abel
mailto:andreas.abel@ifi.lmu.de> wrote: On some haskell list I read that for lists,
mapM_ f l
is more space-efficient that just
void $ mapM f l
Any reason why mapM_ is missing from Data.Traversable?
Cheers, Andreas
-- Andreas Abel <>< Du bist der geliebte Mensch.
Theoretical Computer Science, University of Munich Oettingenstr. 67, D-80538 Munich, GERMANY
andreas.abel@ifi.lmu.de mailto:andreas.abel@ifi.lmu.de http://www2.tcs.ifi.lmu.de/~__abel/ http://www2.tcs.ifi.lmu.de/~abel/
_________________________________________________ Libraries mailing list Libraries@haskell.org mailto:Libraries@haskell.org http://www.haskell.org/__mailman/listinfo/libraries http://www.haskell.org/mailman/listinfo/libraries
-- Andreas Abel <>< Du bist der geliebte Mensch. Theoretical Computer Science, University of Munich Oettingenstr. 67, D-80538 Munich, GERMANY andreas.abel@ifi.lmu.de http://www2.tcs.ifi.lmu.de/~abel/
participants (4)
-
Andreas Abel
-
Edward Kmett
-
Henning Thielemann
-
Jake McArthur