タプルのOrdの定義

Question

<、<=、>および>=の定義がタプル用であることを見つけようとしています。

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

...を見てみると... <=がちょうど各タプルの最初の要素に<=を使用して定義することができたように見えます。しかし、

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

...第一の要素が等しい場合、この例では...それはTrueされているだろうとして、それだけで、各タプルの最初の要素に<=ならないことを意味します。

何が起こっているのですか？ <=とco on tuplesの定義は何ですか？

Answer 1

注文はlexicographicです。左から右の要素を比較し、その順序は等しくない最初の要素によって定義されます。

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