元组的Ord定义

Question

我试图找出<、<=、>和>=的元组定义。看着..。

(-1, 3) <= (1, 2)  -- True
( 2, 3) <= (1, 2)  -- False

..。看起来，<=只需要在每个元组的第一个元素上使用<=来定义。但是，在这个例子中，当第一个元素是相等的..。

( 1, 3) <= (1, 2)  -- False

..。这意味着它不能只是每个元组的第一个元素上的<=，就像True一样。

到底怎么回事？元组上<=和co的定义是什么？

Answer 1

订单是https://en.wikipedia.org/wiki/Lexicographical_order。它比较从左到右的元素，顺序由不相等的第一个元素定义：

Prelude> (1, 2) < (1, 3)
True
Prelude> (1, 2) < (1, 1)
False
Prelude> (2, 2) < (1, 1)
False