<div dir="ltr">Very +1 for only exporting Seq-specific ones from Data.Sequence.  <br></div><br><div class="gmail_quote"><div dir="ltr">On Wed, Apr 20, 2016 at 4:49 PM Ivan Lazar Miljenovic <<a href="mailto:ivan.miljenovic@gmail.com">ivan.miljenovic@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 21 April 2016 at 02:55, Henning Thielemann<br>
<<a href="mailto:lemming@henning-thielemann.de" target="_blank">lemming@henning-thielemann.de</a>> wrote:<br>
><br>
> On Wed, 20 Apr 2016, David Feuer wrote:<br>
><br>
>> As discussed, I plan to add pattern synonyms Empty, :<|, and :|> to<br>
>> make working with sequences more convenient. The remaining question is<br>
>> what types they should have. From the Data.Sequence standpoint, the<br>
>> best thing would be to make them work *only* for Seq, so that the Seq<br>
>> type will be inferred from their use. However, modules using multiple<br>
>> sequence types might benefit from more flexibility, via ad hoc<br>
>> classes.<br>
><br>
><br>
> I prefer that Data.Sequence exports functions with the Seq type and that<br>
> generalized functions are exported by a different module that is intended<br>
> for generalization. The specific and general infix operators could have the<br>
> same symbol and the user could choose via the module import which one to<br>
> use.<br>
<br>
+1<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.wordpress.com</a><br>
_______________________________________________<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>