[Haskell-cafe] Mystery of an Eq instance

Stijn van Drongelen rhymoid at gmail.com
Sat Sep 21 09:40:28 CEST 2013


On Sep 21, 2013 9:38 AM, "Colin Adams" <colinpauladams at gmail.com> wrote:
>
>
> On 21 September 2013 08:34, Stijn van Drongelen <rhymoid at gmail.com> wrote:
>>
>> * As mentioned, there is a total order (Ord) on floats (which is what
you should be using when checking whether two approximations are
approximately equal), which implies that there is also an equivalence
relation (Eq).
>
>
> how do you get a total order when nan compares false with everything
including itself?

Good point. It should be a partial order.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130921/67ab90d3/attachment.htm>


More information about the Haskell-Cafe mailing list