Sortこのページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。 last mod. 2009-09-10 (木) 14:18:59
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 つのリストがソートされていなかった場合の動作は未定義です。 |