Give alternate default definition for (<=)

[Sven Panne]

Am Fr., 8. Mai 2020 um 03:50 Uhr schrieb Dannyu NDos <ndospark320 at gmail.com
>:

> I have following datatype for representing arbitrary computable numbers:
>
>     newtype Computable = Inexact (Word -> Integer)
>
> "Inexact" encapsulates Cauchy sequences.
>
> min and max will halt:
>
>     instance Ord Computable where [...]
>

Eq is a superclass of Ord, so how do you define that for Computable?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20200508/3788c7c9/attachment.html>