<div dir="ltr"><div>great</div><div><br></div>the one using streams for your hand rolled stuff would be more instructive... your proposed definiton cant fuse.<div><br></div><div>i'll switch to the ticket</div></div><br><div class="gmail_quote"><div dir="ltr">On Thu, Nov 8, 2018 at 5:53 PM John Ky <<a href="mailto:newhoggy@gmail.com">newhoggy@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="m_1050597047723175006markdown-here-wrapper"><p style="margin:0px 0px 1.2em!important">After removing the load time of the file from benchmarking, the difference between mapM and hand rolled version is even more stark 😱</p>
<pre style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;font-size:1em;line-height:1.2em;margin:1.2em 0px"><code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline;white-space:pre-wrap;overflow:auto;border-radius:3px;border:1px solid rgb(204,204,204);padding:0.5em 0.7em;display:block!important">benchmarking medium.csv/mapAccumL for DVS.Vector Word64
time 2.371 ms (2.347 ms .. 2.396 ms)
0.999 R² (0.998 R² .. 1.000 R²)
mean 2.442 ms (2.420 ms .. 2.477 ms)
std dev 91.95 μs (57.33 μs .. 137.7 μs)
variance introduced by outliers: 23% (moderately inflated)
benchmarking medium.csv/mapAccumLViaStrictState for DVS.Vector Word64
time 604.4 ms (479.0 ms .. 700.5 ms)
0.995 R² (0.983 R² .. 1.000 R²)
mean 643.8 ms (607.3 ms .. 695.2 ms)
std dev 51.95 ms (13.07 ms .. 69.16 ms)
variance introduced by outliers: 21% (moderately inflated)
benchmarking medium.csv/mapAccumLViaLazyState for DVS.Vector Word64
time 62.08 ms (61.14 ms .. 63.23 ms)
0.999 R² (0.999 R² .. 1.000 R²)
mean 63.16 ms (62.43 ms .. 65.35 ms)
std dev 2.013 ms (637.6 μs .. 3.434 ms)
</code></pre><div title="MDH:PGRpdiBkaXI9Imx0ciI+PHNwYW4gc3R5bGU9ImNvbG9yOiByZ2IoMzYsIDQxLCA0Nik7IGZvbnQt
ZmFtaWx5OiAtYXBwbGUtc3lzdGVtLCBzeXN0ZW0tdWksICZxdW90O1NlZ29lIFVJJnF1b3Q7LCBI
ZWx2ZXRpY2EsIEFyaWFsLCBzYW5zLXNlcmlmLCAmcXVvdDtBcHBsZSBDb2xvciBFbW9qaSZxdW90
OywgJnF1b3Q7U2Vnb2UgVUkgRW1vamkmcXVvdDssICZxdW90O1NlZ29lIFVJIFN5bWJvbCZxdW90
OzsgZm9udC1zaXplOiAxNHB4OyI+QWZ0ZXIgcmVtb3ZpbmcgdGhlIGxvYWQgdGltZSBvZiB0aGUg
ZmlsZSBmcm9tIGJlbmNobWFya2luZywgdGhlIGRpZmZlcmVuY2UgYmV0d2VlbiZuYnNwOzwvc3Bh
bj48Y29kZSBzdHlsZT0iYm94LXNpemluZzogYm9yZGVyLWJveDsgZm9udC1mYW1pbHk6IFNGTW9u
by1SZWd1bGFyLCBDb25zb2xhcywgJnF1b3Q7TGliZXJhdGlvbiBNb25vJnF1b3Q7LCBNZW5sbywg
Q291cmllciwgbW9ub3NwYWNlOyBmb250LXNpemU6IDExLjlweDsgYmFja2dyb3VuZC1jb2xvcjog
cmdiYSgyNywgMzEsIDM1LCAwLjA1KTsgYm9yZGVyLXJhZGl1czogM3B4OyBtYXJnaW46IDBweDsg
cGFkZGluZzogMC4yZW0gMC40ZW07IGNvbG9yOiByZ2IoMzYsIDQxLCA0Nik7Ij5tYXBNPC9jb2Rl
PjxzcGFuIHN0eWxlPSJjb2xvcjogcmdiKDM2LCA0MSwgNDYpOyBmb250LWZhbWlseTogLWFwcGxl
LXN5c3RlbSwgc3lzdGVtLXVpLCAmcXVvdDtTZWdvZSBVSSZxdW90OywgSGVsdmV0aWNhLCBBcmlh
bCwgc2Fucy1zZXJpZiwgJnF1b3Q7QXBwbGUgQ29sb3IgRW1vamkmcXVvdDssICZxdW90O1NlZ29l
IFVJIEVtb2ppJnF1b3Q7LCAmcXVvdDtTZWdvZSBVSSBTeW1ib2wmcXVvdDs7IGZvbnQtc2l6ZTog
MTRweDsiPiZuYnNwO2FuZCBoYW5kIHJvbGxlZCB2ZXJzaW9uIGlzIGV2ZW4gbW9yZSBzdGFyayZu
YnNwOzxpbWcgc3JjPSIvL3NzbC5nc3RhdGljLmNvbS9tYWlsL2Vtb2ppL3Y3L3BuZzQ4L2Vtb2pp
X3UxZjYzMS5wbmciIGFsdD0i75ixIiBnb29tb2ppPSIxZjYzMSIgZGF0YS1nb29tb2ppPSIxZjYz
MSIgc3R5bGU9Im1hcmdpbjogMHB4IDAuMmV4OyB2ZXJ0aWNhbC1hbGlnbjogbWlkZGxlOyBoZWln
aHQ6IDI0cHg7IHdpZHRoOiAyNHB4OyI+PC9zcGFuPjwvZGl2PjxkaXYgZGlyPSJsdHIiPjxmb250
IGNvbG9yPSIjMjQyOTJlIiBmYWNlPSItYXBwbGUtc3lzdGVtLCBzeXN0ZW0tdWksIFNlZ29lIFVJ
LCBIZWx2ZXRpY2EsIEFyaWFsLCBzYW5zLXNlcmlmLCBBcHBsZSBDb2xvciBFbW9qaSwgU2Vnb2Ug
VUkgRW1vamksIFNlZ29lIFVJIFN5bWJvbCI+PHNwYW4gc3R5bGU9ImZvbnQtc2l6ZTogMTRweDsi
Pjxicj48L3NwYW4+PC9mb250PjxkaXY+YGBgPC9kaXY+PGRpdj48ZGl2PmJlbmNobWFya2luZyBt
ZWRpdW0uY3N2L21hcEFjY3VtTCZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5i
c3A7ICZuYnNwOyAmbmJzcDtmb3IgRFZTLlZlY3RvciBXb3JkNjQ8L2Rpdj48ZGl2PnRpbWUmbmJz
cDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNw
OzIuMzcxIG1zJm5ic3A7ICZuYnNwOygyLjM0NyBtcyAuLiAyLjM5NiBtcyk8L2Rpdj48ZGl2PiZu
YnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5i
c3A7ICZuYnNwOyAmbmJzcDswLjk5OSBSwrImbmJzcDsgJm5ic3A7KDAuOTk4IFLCsiAuLiAxLjAw
MCBSwrIpPC9kaXY+PGRpdj5tZWFuJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAm
bmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsyLjQ0MiBtcyZuYnNwOyAmbmJzcDsoMi40MjAgbXMg
Li4gMi40NzcgbXMpPC9kaXY+PGRpdj5zdGQgZGV2Jm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7
ICZuYnNwOyAmbmJzcDsgJm5ic3A7IDkxLjk1IM68cyZuYnNwOyAmbmJzcDsoNTcuMzMgzrxzIC4u
IDEzNy43IM68cyk8L2Rpdj48ZGl2PnZhcmlhbmNlIGludHJvZHVjZWQgYnkgb3V0bGllcnM6IDIz
JSAobW9kZXJhdGVseSBpbmZsYXRlZCk8L2Rpdj48ZGl2Pjxicj48L2Rpdj48ZGl2PmJlbmNobWFy
a2luZyBtZWRpdW0uY3N2L21hcEFjY3VtTFZpYVN0cmljdFN0YXRlIGZvciBEVlMuVmVjdG9yIFdv
cmQ2NDwvZGl2PjxkaXY+dGltZSZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5i
c3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7NjA0LjQgbXMmbmJzcDsgJm5ic3A7KDQ3OS4wIG1zIC4u
IDcwMC41IG1zKTwvZGl2PjxkaXY+Jm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAm
bmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOzAuOTk1IFLCsiZuYnNwOyAm
bmJzcDsoMC45ODMgUsKyIC4uIDEuMDAwIFLCsik8L2Rpdj48ZGl2Pm1lYW4mbmJzcDsgJm5ic3A7
ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOzY0My44IG1z
Jm5ic3A7ICZuYnNwOyg2MDcuMyBtcyAuLiA2OTUuMiBtcyk8L2Rpdj48ZGl2PnN0ZCBkZXYmbmJz
cDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgNTEuOTUgbXMmbmJz
cDsgJm5ic3A7KDEzLjA3IG1zIC4uIDY5LjE2IG1zKTwvZGl2PjxkaXY+dmFyaWFuY2UgaW50cm9k
dWNlZCBieSBvdXRsaWVyczogMjElIChtb2RlcmF0ZWx5IGluZmxhdGVkKTwvZGl2PjxkaXY+PGJy
PjwvZGl2PjxkaXY+YmVuY2htYXJraW5nIG1lZGl1bS5jc3YvbWFwQWNjdW1MVmlhTGF6eVN0YXRl
Jm5ic3A7ICZuYnNwO2ZvciBEVlMuVmVjdG9yIFdvcmQ2NDwvZGl2PjxkaXY+dGltZSZuYnNwOyAm
bmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7NjIu
MDggbXMmbmJzcDsgJm5ic3A7KDYxLjE0IG1zIC4uIDYzLjIzIG1zKTwvZGl2PjxkaXY+Jm5ic3A7
ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsg
Jm5ic3A7ICZuYnNwOzAuOTk5IFLCsiZuYnNwOyAmbmJzcDsoMC45OTkgUsKyIC4uIDEuMDAwIFLC
sik8L2Rpdj48ZGl2Pm1lYW4mbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNw
OyAmbmJzcDsgJm5ic3A7ICZuYnNwOzYzLjE2IG1zJm5ic3A7ICZuYnNwOyg2Mi40MyBtcyAuLiA2
NS4zNSBtcyk8L2Rpdj48ZGl2PnN0ZCBkZXYmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5i
c3A7ICZuYnNwOyAmbmJzcDsgMi4wMTMgbXMmbmJzcDsgJm5ic3A7KDYzNy42IM68cyAuLiAzLjQz
NCBtcyk8L2Rpdj48L2Rpdj48ZGl2PmBgYDwvZGl2PjxkaXY+PGJyPjwvZGl2PjwvZGl2Pg==" style="height:0;width:0;max-height:0;max-width:0;overflow:hidden;font-size:0em;padding:0;margin:0"></div></div></div><br><div class="gmail_quote"><div dir="ltr">On Fri, 9 Nov 2018 at 09:31, John Ky <<a href="mailto:newhoggy@gmail.com" target="_blank">newhoggy@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi Carter,<div><br></div><div>I've <a href="https://github.com/haskell/vector/issues/228" target="_blank">created a ticket</a> as requested and have reproduced the text here:</div><div><br></div><div><p style="box-sizing:border-box;margin-bottom:16px;color:rgb(36,41,46);font-family:-apple-system,system-ui,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";font-size:14px;margin-top:0px">I've implemented a hand rolled version, and another two versions based on a combination of <code style="box-sizing:border-box;font-family:SFMono-Regular,Consolas,"Liberation Mono",Menlo,Courier,monospace;font-size:11.9px;background-color:rgba(27,31,35,0.05);border-radius:3px;margin:0px;padding:0.2em 0.4em">mapM</code> and the lazy and strict versions of <code style="box-sizing:border-box;font-family:SFMono-Regular,Consolas,"Liberation Mono",Menlo,Courier,monospace;font-size:11.9px;background-color:rgba(27,31,35,0.05);border-radius:3px;margin:0px;padding:0.2em 0.4em">State</code> monad.</p><p style="box-sizing:border-box;margin-bottom:16px;margin-top:0px;color:rgb(36,41,46);font-family:-apple-system,system-ui,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";font-size:14px"><a class="m_1050597047723175006m_-7068723107859567980gmail-issue-link m_1050597047723175006m_-7068723107859567980gmail-js-issue-link" href="https://github.com/haskell-works/hw-prim/pull/38" style="box-sizing:border-box;background-color:initial;color:rgb(3,102,214);text-decoration-line:none" target="_blank">haskell-works/hw-prim#38</a></p><p style="box-sizing:border-box;margin-bottom:16px;margin-top:0px;color:rgb(36,41,46);font-family:-apple-system,system-ui,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";font-size:14px">The benchmarks show that the hand rolled versions run two times faster than the lazy state monad version and 16 times faster than the strict state monad.</p><p style="box-sizing:border-box;margin-bottom:16px;margin-top:0px;color:rgb(36,41,46);font-family:-apple-system,system-ui,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";font-size:14px">I found the slow performance of the strict monad version most surprising.</p><p style="box-sizing:border-box;margin-bottom:16px;margin-top:0px;color:rgb(36,41,46);font-family:-apple-system,system-ui,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";font-size:14px">I'm aware that the version that using <code style="box-sizing:border-box;font-family:SFMono-Regular,Consolas,"Liberation Mono",Menlo,Courier,monospace;font-size:11.9px;background-color:rgba(27,31,35,0.05);border-radius:3px;margin:0px;padding:0.2em 0.4em">mapM</code> might enable fusion, however it is a fair bit slower than a hand rolled version that defeats fusion.</p><p style="box-sizing:border-box;margin-top:0px;color:rgb(36,41,46);font-family:-apple-system,system-ui,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";font-size:14px;margin-bottom:0px">I would love to have a fusion-enabled version that runs as fast as the hand rolled version. Would that be possible?</p><p style="box-sizing:border-box;margin-top:0px;color:rgb(36,41,46);font-family:-apple-system,system-ui,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";font-size:14px;margin-bottom:0px"><br></p><p style="box-sizing:border-box;margin-top:0px;color:rgb(36,41,46);font-family:-apple-system,system-ui,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";font-size:14px;margin-bottom:0px">Cheers,</p><p style="box-sizing:border-box;margin-top:0px;color:rgb(36,41,46);font-family:-apple-system,system-ui,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";font-size:14px;margin-bottom:0px"><br></p><p style="box-sizing:border-box;margin-top:0px;color:rgb(36,41,46);font-family:-apple-system,system-ui,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";font-size:14px;margin-bottom:0px">-John</p></div></div><br><div class="gmail_quote"><div dir="ltr">On Fri, 9 Nov 2018 at 01:18, Carter Schonwald <<a href="mailto:carter.schonwald@gmail.com" target="_blank">carter.schonwald@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div dir="auto">I thought about it a teeny bit more </div><div dir="auto"><br></div><div dir="auto">This should be trivially definable using mapM or equivalent using state t </div><div dir="auto"><br></div><div dir="auto">Have you tried doing that simple high level definition? I think that works with vector fusion quite nicely. </div><div dir="auto"><br></div><div dir="auto">... ohhh. I see. There’s two vectors of inputs. I’ll have to think about this more. </div><br><div class="gmail_quote"><div dir="ltr">On Thu, Nov 8, 2018 at 8:14 AM Carter Schonwald <<a href="mailto:carter.schonwald@gmail.com" target="_blank">carter.schonwald@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div dir="auto">Hey John</div></div><div dir="auto">: </div><div dir="auto">I’m happy to help you contribute to to vector. </div><div dir="auto"><br></div><div dir="auto">1). This might not actually be needed with stream fusion on  ... though perhaps this sort of shared computation needs to be its own combinators because of the sharing meaning that the stream fusion on map and foldl might not work. (Have you tried doing let x = map ... in let y = foldl ... in something with x and y? Even eg just writing map accum l in terms of just that? It could very well fuse ... though I don’t think it can with the current vector fusion framework. Though I think one of the more exotic fusion frameworks Amos Robinson did a few years ago could handle that fusion.  Sadly that one requires an ILP solver at compile time. But there’s some tricks I think we could do )</div><div dir="auto"><br></div><div dir="auto">2) writing it in stream fusion form / as map accum l for streams will actually be simpler I think </div><div dir="auto"><br></div><div dir="auto">3) put a ticket on our GitHub. I’ve a huge backlog (life and stuff got me a bit slow), but this sounds like a super reasonable feature request </div><div dir="auto"><br></div><div dir="auto"><br></div><div><br><div class="gmail_quote"><div dir="ltr">On Thu, Nov 8, 2018 at 6:31 AM John Ky <<a href="mailto:newhoggy@gmail.com" target="_blank">newhoggy@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hello,<div><br></div><div>I'd like to add the <span style="background-color:rgb(39,40,34);color:rgb(166,226,46);font-family:"Fira Code";font-size:12px;white-space:pre-wrap">mapAccumL</span> function to the <span style="background-color:rgb(39,40,34);color:rgb(102,217,239);font-family:"Fira Code";font-size:12px;font-style:italic;white-space:pre-wrap">vector</span> package.</div><div><br></div><div>Specifically the <span style="color:rgb(102,217,239);font-family:"Fira Code";font-size:12px;font-style:italic;white-space:pre-wrap;background-color:rgb(39,40,34)">Data.Vector.Storable</span> module, but it would also be useful other vector modules.</div><div><br></div><div>This is my attempt at an implementation:</div><div><br></div><div><div style="color:rgb(248,248,242);background-color:rgb(39,40,34);font-family:"Fira Code";font-size:12px;line-height:18px;white-space:pre-wrap"><div style="line-height:18px"><div>{-# <span style="color:rgb(249,38,114)">LANGUAGE</span> ScopedTypeVariables #-}</div><br></div><div><span style="color:rgb(166,226,46)">mapAccumL</span> <span style="color:rgb(249,38,114)">::</span> <span style="color:rgb(249,38,114)">forall</span> a b c. (<span style="color:rgb(102,217,239);font-style:italic">Storable</span> b, <span style="color:rgb(102,217,239);font-style:italic">Storable</span> c)</div><div> <span style="color:rgb(249,38,114)">=></span> (a <span style="color:rgb(249,38,114)">-></span> b <span style="color:rgb(249,38,114)">-></span> (a, c))</div><div> <span style="color:rgb(249,38,114)">-></span> a</div><div> <span style="color:rgb(249,38,114)">-></span> <span style="color:rgb(102,217,239);font-style:italic">DVS</span>.<span style="color:rgb(102,217,239);font-style:italic">Vector</span> b</div><div> <span style="color:rgb(249,38,114)">-></span> (a, <span style="color:rgb(102,217,239);font-style:italic">DVS</span>.<span style="color:rgb(102,217,239);font-style:italic">Vector</span> c)</div><div>mapAccumL f a vb <span style="color:rgb(249,38,114)">=</span> <span style="color:rgb(174,129,255)">DVS</span><span style="color:rgb(249,38,114)">.</span>createT <span style="color:rgb(249,38,114)">$</span> <span style="color:rgb(249,38,114)">do</span></div><div> vc <span style="color:rgb(249,38,114)"><-</span> <span style="color:rgb(174,129,255)">DVSM</span><span style="color:rgb(249,38,114)">.</span>unsafeNew (<span style="color:rgb(174,129,255)">DVS</span><span style="color:rgb(249,38,114)">.</span>length vb)</div><div> a' <span style="color:rgb(249,38,114)"><-</span> go <span style="color:rgb(174,129,255)">0</span> a vc</div><div> return (a', vc)</div><div> <span style="color:rgb(249,38,114)">where</span> go <span style="color:rgb(249,38,114)">::</span> <span style="color:rgb(102,217,239);font-style:italic">Int</span> <span style="color:rgb(249,38,114)">-></span> a <span style="color:rgb(249,38,114)">-></span> <span style="color:rgb(102,217,239);font-style:italic">DVS</span>.<span style="color:rgb(102,217,239);font-style:italic">MVector</span> s c <span style="color:rgb(249,38,114)">-></span> <span style="color:rgb(102,217,239);font-style:italic">ST</span> s a</div><div> go i a0 vc <span style="color:rgb(249,38,114)">=</span> <span style="color:rgb(249,38,114)">if</span> i <span style="color:rgb(249,38,114)"><</span> <span style="color:rgb(174,129,255)">DVS</span><span style="color:rgb(249,38,114)">.</span>length vb</div><div> <span style="color:rgb(249,38,114)">then</span> <span style="color:rgb(249,38,114)">do</span></div><div> <span style="color:rgb(249,38,114)">let</span> (a1, c1) <span style="color:rgb(249,38,114)">=</span> f a0 (<span style="color:rgb(174,129,255)">DVS</span><span style="color:rgb(249,38,114)">.</span>unsafeIndex vb i)</div><div> <span style="color:rgb(174,129,255)">DVSM</span><span style="color:rgb(249,38,114)">.</span>unsafeWrite vc i c1</div><div> go (i <span style="color:rgb(249,38,114)">+</span> <span style="color:rgb(174,129,255)">1</span>) a1 vc</div><div> <span style="color:rgb(249,38,114)">else</span> return a0</div><div>{-# <span style="color:rgb(249,38,114)">INLINE</span> mapAccumL #-}</div></div></div><div><br></div><div>The implementation should obey the following law:</div><div><br></div><div><div style="color:rgb(248,248,242);background-color:rgb(39,40,34);font-family:"Fira Code";font-size:12px;line-height:18px;white-space:pre-wrap"><div><div style="line-height:18px"><div><span style="color:rgb(249,38,114)">import</span> <span style="color:rgb(249,38,114)">qualified</span> Data.List <span style="color:rgb(249,38,114)">as</span> L</div><div><span style="color:rgb(249,38,114)">import</span> <span style="color:rgb(249,38,114)">qualified</span> Data.Vector.Storable <span style="color:rgb(249,38,114)">as</span> DVS</div><div><span style="color:rgb(249,38,114)"></span></div></div></div><div><br></div><div>(<span style="color:rgb(174,129,255)">DVS</span><span style="color:rgb(249,38,114)">.</span>toList <span style="color:rgb(249,38,114)"><$></span> <span style="color:rgb(174,129,255)">DVS</span><span style="color:rgb(249,38,114)">.</span>mapAccumL f a (<span style="color:rgb(174,129,255)">DVS</span><span style="color:rgb(249,38,114)">.</span>fromList bs)) <span style="color:rgb(249,38,114)">===</span> <span style="color:rgb(174,129,255)">L</span><span style="color:rgb(249,38,114)">.</span>mapAccumL f a bs</div></div></div><div><br></div><div>Cheers,</div><div><br></div><div>-John</div><div><br></div></div>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div></div>
</blockquote></div></div>
</blockquote></div>
</blockquote></div>
</blockquote></div>