generalized IntMap - IntegerMap or IntegralMap

David Feuer david.feuer at
Mon Jan 22 09:20:06 UTC 2018

Er... what am I thinking? Of course it's order-isomorphic. The
isomorphism just isn't a coercion, so it's not free.

On Mon, Jan 22, 2018 at 4:19 AM, David Feuer <david.feuer at> wrote:
> Word64 is an entirely different story, because it's not
> order-isomorphic to Int64. That means lots of operations will actually
> have to be implemented differently for it. Anyway, you should probably
> check out the generic-trie package for ways to compose things.
> On Mon, Jan 22, 2018 at 4:14 AM, Henning Thielemann
> <lemming at> wrote:
>> On Mon, 22 Jan 2018, David Feuer wrote:
>>> 3. I don't think any existing classes really get the point across.
>> I would be happy with a custom class that has Word32 and Word64 as member,
>> and optimally a way to compose these words, e.g.
>>    type Word96 = Stack Word32 Word64

More information about the Libraries mailing list