Set

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

Chapter 20 標準ライブラリ

module Set: sig  end

順序付けされた型に関する集合です。 このモジュールでは、キーの完全な順序付け関数が与えられた集合のデータ構造を提供します。集合に対する処理はすべて純粋に適用式です (副作用を持たない) 。現在の実装では二分平衡木となっていて、結構高速です。例えば挿入やメンバチェックには集合の大きさに対して対数オーダの時間がかかります。

module type OrderedType = sig  end

functor Set.Make の入力 signature です。参照: Set.OrderedType

module type S = sig  end

Set.Make の出力 signature です。参照: Set.S

module Make: functor (Ord : OrderedType) -> sig  end

全順序型を受け取り、Set structureテーブル構造の実装を構築するfunctor です。参照: Set.Make