package core

  1. Overview
  2. Docs
package core
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Core.Set_intfSource

This module defines interfaces used in Set. See the Map docs for a description of the design.

This module defines module types {Creators,Accessors}{0,1,2,_generic,_with_comparator}. It uses check functors to ensure that each module type is an instance of the corresponding _generic one.

We must treat Creators and Accessors separately, because we sometimes need to choose different instantiations of their options. In particular, Set itself matches Creators2_with_comparator but Accessors2 (without comparator).

Sourcemodule Binable : sig ... end
Sourcemodule Set = Base.Set
Sourcemodule Container = Base.Container
Sourcemodule type Elt_plain = Set.Elt_plain
Sourcemodule type Elt = sig ... end
Sourcemodule type Elt_binable = sig ... end
Sourcemodule Elt_bin_io : sig ... end
Sourcemodule type For_deriving = sig ... end
Sourcemodule type For_deriving_stable = sig ... end
Sourcemodule Without_comparator = Set.Without_comparator
Sourcemodule With_comparator = Set.With_comparator
Sourcemodule With_first_class_module = Set.With_first_class_module
Sourcemodule Continue_or_stop = Container.Continue_or_stop
Sourcemodule Merge_to_sequence_element = Sequence.Merge_with_duplicates_element
Sourcemodule type Accessors_generic = sig ... end
Sourcemodule type Creators_generic = sig ... end
Sourcemodule type Creators_and_accessors_generic = sig ... end
Sourcemodule Make_S_plain_tree (Elt : Comparator.S) : sig ... end
Sourcemodule type S_plain = sig ... end
Sourcemodule type S = sig ... end
Sourcemodule type S_binable = sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct