+1. It obeys laws. It feels zippy. LGTM.<span></span><br><br>On Friday, July 17, 2015, Edward Kmett <<a href="mailto:ekmett@gmail.com">ekmett@gmail.com</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Er.. I obviously meant<div><br></div><div><div style="font-size:12.8000001907349px"><font face="monospace, monospace">instance Alternative ZipList where</font></div><div style="font-size:12.8000001907349px"><font face="monospace, monospace">   empty = ZipList []</font></div><div style="font-size:12.8000001907349px"><font face="monospace, monospace">   ZipList xs <|> ZipList ys = ZipList (xs ++ drop (length xs) ys)</font></div></div><div style="font-size:12.8000001907349px"><font face="monospace, monospace"><br></font></div><div style="font-size:12.8000001907349px"><font face="arial, helvetica, sans-serif">sorry for any confusion.</font></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jul 17, 2015 at 11:37 AM, Edward Kmett <span dir="ltr"><<a href="javascript:_e(%7B%7D,'cvml','ekmett@gmail.com');" target="_blank">ekmett@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">The <font face="monospace, monospace">ZipList</font> data type admits one legal <font face="monospace, monospace">Alternative</font> instance<div><br></div><div><font face="monospace, monospace">instance Alternative ZipList where</font></div><div><font face="monospace, monospace">   pure = ZipList []</font></div><div><font face="monospace, monospace">   ZipList xs <|> ZipList ys = ZipList (xs ++ drop (length xs) ys)</font></div><div><br></div><div>The legality of this instance was first noted in <a href="http://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/ppdp2015.pdf" target="_blank">http://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/ppdp2015.pdf</a></div><div><br></div><div>I propose adding this instance, which acts like a generalized version of the Alternative for Maybe, choosing with a left bias.</div><div><br></div><div>Discussion Period: 2 weeks</div><span><font color="#888888"><div><br></div><div>-Edward</div></font></span></div>
</blockquote></div><br></div>
</blockquote><br><br>-- <br>-- Dan Burton<br>