Ranges and the Enum class

Aaron Denney wnoise at ofb.net
Sat Mar 18 11:54:21 EST 2006

On 2006-03-18, Jim Apple <jbapple+haskell-prime at gmail.com> wrote:
> On 3/18/06, Aaron Denney <wnoise at ofb.net> wrote:
>> Rational _could_ be added here by the diagonal representation, but
>> probably sohuldn't.
> We could also add an actual enumeration of rationals, as in
> http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/rationals.pdf
> It would be quite confusing to write, say, [1%2 .. 3%2] and get 2%1
> and 1%3 in the middle!

Right, hence my desire to make it a sequence, but not Enumerable, since
it has quite a few different quasi-natural ways of doing so.

Aaron Denney

More information about the Haskell-prime mailing list