[Haskell-cafe] ordNub

Tom Ellis tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Thu Jan 1 14:39:59 UTC 2015

On Thu, Jan 01, 2015 at 03:37:09PM +0100, Atze van der Ploeg wrote:
> This boils down to the question whether on each set with an equality
> relation defined on it a total ordering (consistent with the equality
> relation) can also be defined.

I agree with the essence of this restatement.

> One counterexample is the complex numbers.

This is what I don't understand.  The complex numbers can be totally
ordered.  (Not in a way compatible with the field structure, but that's
beside the point).

More information about the Haskell-Cafe mailing list