Re: [Haskell-cafe] No Enum for (,), no Enum or Bounded for Either

Which raises the question, why is there not an Enumerate class with Integer in place of Int? It would agree better with Integral. On Jun 2, 2018 07:15, "Andrew Martin" wrote: The way I understand it is more like: they should be Mutual inverses if the type has fewer inhabitants than Int does, and otherwise, just kind of do the best you can. What about the instance for Integer? Sent from my iPhone

On Jun 2, 2018, at 1:39 AM, Tom Ellis < tom-lists-haskell-cafe-2013@jaguarpaw.co.uk> wrote:

...

On Fri, Jun 01, 2018 at 10:21:45PM +0200, MarLinn wrote:

...

Sorry, could you explain further? I don't understand what the implementation of any of those proposed instances is supposed to be.

Sure. [...] Hope it's clearer now what I meant.

It's clearer what you meant, but I always assumed that fromEnum and toEnum must be mutually inverse. I can't see that law written anywhere in the docs but it seems to be an almost useless class without that assumption. The default implementations of the other methods seems to be completely based on that assumption, for example:

http://hackage.haskell.org/package/base-4.11.1.0/docs/src/GHC.Enum.html#Enum

_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.

Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.