8 Feb
2019
8 Feb
'19
5:17 a.m.
On Fri, 8 Feb 2019, 9:54 am Henning Thielemann, < lemming@henning-thielemann.de> wrote:
With the signature of 'compare' we can hardly do it better. That's why it is certainly better to leave Ord for total orderings and define
class PartialOrd a where maybeCompare :: a -> a -> Maybe Ordering
Yes, precisely. For a moment I thought you were suggesting we should use Ord for partial orders.