Proposal: add fusion RULES for Data.Maybe.mapMaybe
tkn.akio at gmail.com
Wed Nov 20 07:46:21 UTC 2013
Apologies, the subject of my previous email was wrong. It is about
Data.Maybe.mapMaybe, not Data.Map.mapMaybe.
On Wed, Nov 20, 2013 at 4:40 PM, Akio Takano <tkn.akio at gmail.com> wrote:
> Currently mapMaybe does not fuse at all. The attached patch implements
> necessary rules for fold/build fusion in both sides (the result and the
> second argument) to happen. When fusion does not happen, the function
> should behave exactly the same as before.
> I ran some benchmarks, testing cases where fusion does and does not happen:
> The benchmark code is:
> Discussion period: 2 weeks.
> Thank you,
> Takano Akio
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Libraries