Re: Types for Data.Sequence pattern synonyms

Very +1 for only exporting Seq-specific ones from Data.Sequence. On Wed, Apr 20, 2016 at 4:49 PM Ivan Lazar Miljenovic < ivan.miljenovic@gmail.com> wrote:

On 21 April 2016 at 02:55, Henning Thielemann wrote:

...

On Wed, 20 Apr 2016, David Feuer wrote:

...

As discussed, I plan to add pattern synonyms Empty, :<|, and :|> to make working with sequences more convenient. The remaining question is what types they should have. From the Data.Sequence standpoint, the best thing would be to make them work *only* for Seq, so that the Seq type will be inferred from their use. However, modules using multiple sequence types might benefit from more flexibility, via ad hoc classes.

I prefer that Data.Sequence exports functions with the Seq type and that generalized functions are exported by a different module that is intended for generalization. The specific and general infix operators could have

the

...

same symbol and the user could choose via the module import which one to use.

+1

-- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com http://IvanMiljenovic.wordpress.com _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries