Re: Give alternate default definition for (<=)

That seems undecidable in general. On Fri, May 8, 2020 at 6:18 PM Dannyu NDos wrote:

---------- Forwarded message --------- 보낸사람: Dannyu NDos Date: 2020년 5월 8일 (금) 16:35 Subject: Re: Give alternate default definition for (<=) To: Sven Panne

2020년 5월 8일 (금) 15:33, Sven Panne 님이 작성:

...

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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries