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 <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 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/libraries<http://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 <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 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/libraries<http://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 <andreas.abel@ifi.lmu.de <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