That seems undecidable in general.

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


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


2020년 5월 8일 (금) 15:33, Sven Panne <svenpanne@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@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries