Sort

このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。

Chapter 20 標準ライブラリ

module Sort: sig  end

推奨されていません (Deprecated) 。 このモジュールはもう使われていません。過去との互換性のためだけに残されています。 代わりに Array や List の中のソート関数を使用してください。新しい関数のほうが速くメモリ使用量が少なくなっています。

リストのソートとマージです。

val list : ('a -> 'a -> bool) -> 'a list -> 'a list

与えられた順序付け述語でリストを昇順にソートします。 述語は第一引数が第二引数より小さいか等しいときに true を返してください。

val array : ('a -> 'a -> bool) -> 'a array -> unit

与えられた順序付け述語で配列を昇順にソートします。 述語は第一引数が第二引数より小さいか等しいときに true を返してください。 配列は書き換えられソートされます。

val merge : ('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list

2 つのリストを与えられた述語でマージします。 2 つの引数のリストは与えられた述語でソートされていることが仮定されていて、merge は 2 つのリストの要素を含むソートされたリストを返します。2 つのリストがソートされていなかった場合の動作は未定義です。