<p dir="ltr">And in fact can't even go in IArray at all. Argh! Double error! I think I'll go back under my rock.</p>
<div class="gmail_quote">On Nov 14, 2014 6:23 PM, "David Feuer" <<a href="mailto:david.feuer@gmail.com">david.feuer@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">Oh, I think I missed your point, that this operation really belongs in a *different* class—sorry.</p>
<div class="gmail_quote">On Nov 14, 2014 5:07 PM, "Carter Schonwald" <<a href="mailto:carter.schonwald@gmail.com" target="_blank">carter.schonwald@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><a name="149b09dfd97c52a3_149b058f39ddd3c2_v:amap" style="margin:0px;padding:0px;font-weight:bold;color:rgb(0,0,0);font-family:monospace;font-size:13px;line-height:16.1200008392334px">amap</a><span style="color:rgb(0,0,0);font-family:monospace;font-size:13px;line-height:16.1200008392334px;background-color:rgb(240,240,240)"> :: (</span><a href="http://Data-Array-IArray.html#t:IArray" style="margin:0px;padding:0px;text-decoration:none;color:rgb(171,105,84);font-family:monospace;font-size:13px;line-height:16.1200008392334px" target="_blank">IArray</a><span style="color:rgb(0,0,0);font-family:monospace;font-size:13px;line-height:16.1200008392334px;background-color:rgb(240,240,240)"> a e', </span><a href="http://Data-Array-IArray.html#t:IArray" style="margin:0px;padding:0px;text-decoration:none;color:rgb(171,105,84);font-family:monospace;font-size:13px;line-height:16.1200008392334px" target="_blank">IArray</a><span style="color:rgb(0,0,0);font-family:monospace;font-size:13px;line-height:16.1200008392334px;background-color:rgb(240,240,240)"> a e, </span><a href="http://../base-4.7.0.1/Data-Ix.html#t:Ix" style="margin:0px;padding:0px;text-decoration:none;color:rgb(171,105,84);font-family:monospace;font-size:13px;line-height:16.1200008392334px" target="_blank">Ix</a><span style="color:rgb(0,0,0);font-family:monospace;font-size:13px;line-height:16.1200008392334px;background-color:rgb(240,240,240)"> i) => (e' -> e) -> a i e' -> a i e</span><br><div><span style="color:rgb(0,0,0);font-family:monospace;font-size:13px;line-height:16.1200008392334px;background-color:rgb(240,240,240)"><br></span></div><div><font color="#000000" face="arial, helvetica, sans-serif"><span style="line-height:16px">this looks like map. just with a class constraint. I dont buy that theres any ROI for putting it into the class at all.</span></font></div><div><font color="#000000" face="arial, helvetica, sans-serif"><span style="line-height:16px">By the same arguement, map and fold in Vector should be part of the class.</span></font></div><div><font color="#000000" face="arial, helvetica, sans-serif"><span style="line-height:16px"><br></span></font></div><div><font color="#000000" face="arial, helvetica, sans-serif"><span style="line-height:16px">-1 </span></font></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Nov 14, 2014 at 4:30 PM, David Feuer <span dir="ltr"><<a href="mailto:david.feuer@gmail.com" target="_blank">david.feuer@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">I realized what I wrote about amap earlier was utterly boneheaded, because it has the wrong type for fmap. The only way to accomplish my goal is to make Data.Array.IArray.amap a method of the IArray class. This will allow IArray instances to offer optimized versions and things like amap/coerce rules. The current implementation of amap can become the default one.</p>
<br>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>
</blockquote></div>
</blockquote></div>