<br><br><div class="gmail_quote">On Thu, Jun 21, 2012 at 5:36 PM, Richard O'Keefe <span dir="ltr"><<a href="mailto:ok@cs.otago.ac.nz" target="_blank">ok@cs.otago.ac.nz</a>></span> wrote:</div><div class="gmail_quote">
<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">It always struck me as odd that Enum doesn't extend Ord.<br>
There's a reason given for not having Bounded extend Ord,<br>
which doesn't really apply to a class having fromEnum :: a -> Int.<br>
Testing whether an enum bound is at a limit is thus a bit tricky.</blockquote><div><br></div><div>An ordering does not typically induce a computable enumeration. For example, there are infinitely many rationals between any pair of rationals.</div>
</div>