Re: [Haskell-cafe] instance Enum Double considered not entirely great?

On 21/09/2011, at 2:18 PM, Casey McCann wrote:

I still don't see why it makes sense to add separate IEEE comparisons instead of just adding a standard partial order class, though.

In any mathematical partial order, we expect x `le` x to be a law. But in IEEE arithmetic, if x is a NaN, x `le` x is false. I don't see how to reconcile these. I agree that a standard partial order class would be nice.