<div dir="ltr">I did not know about MonadZip and wouldn't have thought to look for it.<div><br></div><div>On the other hand, unzip and unzipWith are immediately intuitive.</div><div><br></div><div>I think they'd be a solid addition.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jan 11, 2018 at 8:54 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"><div dir="ltr"><div dir="auto">We don't strictly *need* to add either of these functions. Users can use munzip from the MonadZip instance, and we can add a rewrite rule to turn<div dir="auto"><br></div><div dir="auto">    munzip (fmap f xs)</div><div dir="auto"><br></div><div dir="auto">into</div><div dir="auto"><br></div><div dir="auto">    Data.Sequence.Internal.unzipWi<wbr>th f xs</div><div dir="auto"><br></div><div dir="auto">On the other hand, MonadZip isn't a terribly well-known class, and unzipWith has always struck me as an obvious analogue of zipWith.</div></div><span class=""><div class="gmail_extra"><br><div class="gmail_quote">On Jan 11, 2018 10:32 PM, "Ivan Lazar Miljenovic" <<a href="mailto:ivan.miljenovic@gmail.com" target="_blank">ivan.miljenovic@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">On 12 January 2018 at 13:28, David Feuer <<a href="mailto:david.feuer@gmail.com" target="_blank">david.feuer@gmail.com</a>> wrote:<br>
> Paolo G. Giarrusso (Blaisorblade) would like to add an unzip function to<br>
> Data.Sequence. I agree. I propose adding<br>
><br>
>   unzip :: Seq (a,b) -> (Seq a, Seq b)<br>
><br>
>   unzipWith :: (x -> (a, b)) -> Seq x -> (Seq a, Seq b)<br>
><br>
> Does anyone object?<br>
<br>
I see no problem with this.  Though I think it's worth pointing out<br>
that Data.List doesn't have unzipWith (though unzipWith f = unzip .<br>
map f).<br>
<br>
--<br>
Ivan Lazar Miljenovic<br>
<a href="mailto:Ivan.Miljenovic@gmail.com" target="_blank">Ivan.Miljenovic@gmail.com</a><br>
<a href="http://IvanMiljenovic.wordpress.com" rel="noreferrer" target="_blank">http://IvanMiljenovic.wordpres<wbr>s.com</a><br>
</blockquote></div></div>
</span></div>
<br>______________________________<wbr>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">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-<wbr>bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>