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@gmail.com> 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@henning-thielemann.de> 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