Give alternate default definition for (<=)

[Carter Schonwald]

That seems undecidable in general.

On Fri, May 8, 2020 at 6:18 PM Dannyu NDos <ndospark320 at gmail.com> wrote:

>
>
> ---------- Forwarded message ---------
> 보낸사람: Dannyu NDos <ndospark320 at gmail.com>
> Date: 2020년 5월 8일 (금) 16:35
> Subject: Re: Give alternate default definition for (<=)
> To: Sven Panne <svenpanne at gmail.com>
>
>
> 2020년 5월 8일 (금) 15:33, Sven Panne <svenpanne at gmail.com>님이 작성:
>
>> Eq is a superclass of Ord, so how do you define that for Computable?
>>
>
> instance Eq Computable where
>     x == y = x <= y && y <= x
>
>> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20200508/46367183/attachment.html>