元组Ord的定义

Question

我正在尝试查找/确定<，<=，>和>=对元组的定义。看着......

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

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

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

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

发生了什么？ <=和co在元组上的定义是什么？

Answer 1

订单为lexicographic。它比较了从左到右的元素，顺序由不等于的第一个元素定义：

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