Add Ord Laws to next Haskell Report

[Oliver Charles]

On Fri, 8 Feb 2019, 9:54 am Henning Thielemann, <
lemming at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20190208/5f3e2741/attachment.html>