generalized IntMap - IntegerMap or IntegralMap

[Oliver Charles]

Would backpack be at all useful here? Seems you want to parameterise the
map by choice of numeric type.

On 22 Jan 2018 3:59 pm, "David Feuer" <david.feuer at gmail.com> wrote:

> I wish I knew. There are some loose ends that need to be tied up and
> unfortunately I have no sense of whether that's happening.
>
> On Jan 22, 2018 10:54 AM, "Joachim Breitner" <mail at joachim-breitner.de>
> wrote:
>
>> Hi,
>>
>> Am Montag, den 22.01.2018, 04:05 -0500 schrieb David Feuer:
>> > Jonathan S. has been working (on and off) on a wholesale replacement
>> for IntMap.
>>
>> what is the plan here? I am currently in the process of formally
>> verifying IntSet (and later IntMap), so I am curious about what is
>> going to change here.
>>
>> Cheers,
>> Joachim
>>
>> --
>> Joachim Breitner
>>   mail at joachim-breitner.de
>>   http://www.joachim-breitner.de/
>>
>> _______________________________________________
>> Libraries mailing list
>> Libraries at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>>
>>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20180122/ce4b9001/attachment.html>