Haskell：否定Ordering类型的值

Question

有没有一种方法可以否定或求逆Ordering类型的值？ 像这样：

inv = not compare

Answer 1

如果要从compare获得Ordering，则可以将其更改为flip compare ：

> flip compare 3 4
GT

或者，您可以将值包装在Data.Ord Down ， Data.Ord是一种新的类型，可以用来颠倒事物的顺序：

> compare (Down 3) (Down 4)
GT

如果您不能或不想更改Ordering的来源，则需要一个函数将其反转，并且我不知道内置函数。 您可以编写明显的模式匹配，或者由于Ordering本身是有序的：

inv :: Ordering -> Ordering
inv = compare EQ

Answer 2

是的，它包含在Data.Ord中，并且是一个名为Down的类型。

我引用：

“如果一个具有与之关联的Ord实例，则比较由此包装的两个值将得到与它们正常排序顺序相反的结果。”