diff options
| author | Arnaud Spiwack | 2014-10-17 17:43:38 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-10-22 07:31:45 +0200 |
| commit | 000c1e636b033c57fc070d323140f9e26296b9c0 (patch) | |
| tree | 66c92e5bf9f10288fc35e12b88c19cd5d263ff4b /dev | |
| parent | d5fec4d21f1dcc8790b52a2b299a05f1e1f32eab (diff) | |
Small optimisation in the monadic list combinators.
The monadic bind can be costly, so sparing a few can be worth it. Therefore I unrolled the last element of the recursions. I took the opportunity to do some loop unrolling, which is probably more useful for map combinators than for fold.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions