ord: 順序比較じゅんじょひかく capability を標準化ひょうじゅんかする trait 群ぐん

目的もくてき:

• Ord trait を stdlib 側がわで定義ていぎし、整列せいれつや探索たんさくが比較意味論ひかくいみろんを trait 経由けいゆで受うけ取とれるようにします。
• alloc/collections/vec/sort のような汎用はんようアルゴリズムから、型かたごとの比較ひかくを切きり離はなします。

注意ちゅうい:

• Ord は strict less-than (a < b) を最小さいしょう capability とします。
• <=, >, >= はこの lt から構成こうせいします。

計算量けいさんりょう:

• 各 impl に依存いぞんします。ここで提供ていきょうする基本型きほんがた impl は O(1) です。

Ord: strict less-than を与あたえる capability

目的もくてき:

• 要素型ようそがたに a < b を与あたえ、整列せいれつや二分探索にぶんたんさくの基礎きそとして使つかえるようにします。

注意ちゅうい:

• lt は strict less-than です。等ひとしい場合ばあいは false を返かえします。
• 全順序ぜんじゅんじょが必要ひつような文脈ぶんみゃくでは、impl 側がわが推移律すいいりつや反対称性はんたいしょうせいを満みたすようにしてください。

ord_lt: trait 経由けいゆで strict less-than を調しらべる

目的もくてき:

• generic bound で Ord を使つかう共通入口きょうつういりぐちを提供ていきょうします。

#entry main
#target core
#import "core/test" as *
#import "core/traits/ord" as *
fn main <()*>i32> ():
    assert ord_lt 2 3;
    assert not ord_lt 3 3;
    0

ord_le: trait 経由けいゆで a <= b を構成こうせいする

実装じっそう:

• not (b < a) として求もとめます。

ord_gt: trait 経由けいゆで a > b を構成こうせいする

実装じっそう:

• b < a として求もとめます。

ord_ge: trait 経由けいゆで a >= b を構成こうせいする

実装じっそう:

• not (a < b) として求もとめます。