# Index of module types

A
Accessors [Hash_set_intf] |
Accessors [Core_hashtbl_intf] |
Accessors0 [Core_set_intf] |
Accessors1 [Core_set_intf] |
Accessors1 [Core_map_intf] |
Accessors2 [Core_set_intf] |
Accessors2 [Core_map_intf] |
Accessors2_with_comparator [Core_set_intf] |
Accessors3 [Core_map_intf] |
Accessors3_with_comparator [Core_map_intf] |
Accessors_generic [Core_set_intf] |
Accessors_generic [Core_map_intf] |
Applicative [Interfaces] |
Arg [Stable_unit_test_intf] |
Args [Applicative_intf] | argument lists and associated N-ary map and apply functions
Args2 [Applicative_intf] |
B
Base [Make_substring] |
Basic [Monad_intf.Monad] |
Basic [Monad_intf] |
Basic [Applicative_intf] |
Basic2 [Monad_intf.Monad] |
Basic2 [Monad_intf] | Multi parameter monad.
Basic2 [Applicative_intf] |
Binable [Interfaces] |
Binary_searchable [Binary_searchable_intf] |
Blit [Blit_intf] |
C
Comparable [Interfaces] |
Comparable_binable [Interfaces] |
Comparable_sexpable [Tuple] |
Container [Container_intf] |
Contents [Bucket] |
Creators [Hash_set_intf] |
Creators [Core_hashtbl_intf] |
Creators0 [Core_set_intf] |
Creators1 [Core_set_intf] |
Creators1 [Core_map_intf] |
Creators2 [Core_set_intf] |
Creators2 [Core_map_intf] |
Creators2_with_comparator [Core_set_intf] |
Creators3_with_comparator [Core_map_intf] |
Creators_and_accessors0 [Core_set_intf] |
Creators_and_accessors1 [Core_set_intf] |
Creators_and_accessors1 [Core_map_intf] |
Creators_and_accessors2 [Core_set_intf] |
Creators_and_accessors2 [Core_map_intf] |
Creators_and_accessors2_with_comparator [Core_set_intf] |
Creators_and_accessors3_with_comparator [Core_map_intf] |
Creators_and_accessors_generic [Core_set_intf] |
Creators_and_accessors_generic [Core_map_intf] |
Creators_generic [Core_set_intf] |
Creators_generic [Core_map_intf] |
E
Elt [Hash_set] |
Elt [Core_set_intf] |
Elt [Core_set] | The signature that something needs to match in order to be used as a set element.
Elt [Blit_intf] |
Elt_binable [Hash_set] |
Elt_binable [Core_set_intf] |
Elt_binable [Core_set] | The signature that something needs to match in order to be used as a set element if the resulting set is going to support `bin_io`.
F
Flags [Flags_intf] |
Flat_array [Flat_array_debug] |
Floatable [Interfaces] |
Focused [Either_intf] | Many functions in `Either` focus on just one constructor.
G
Generic [Container_intf.Container] |
Generic [Container_intf] |
Generic_phantom [Container_intf.Container] |
Generic_phantom [Container_intf] |
H
Hashable [Interfaces] |
Hashable [Core_hashtbl_intf] |
Hashable_binable [Interfaces] |
Hashable_sexpable [Tuple] |
Hashtbl [Core_hashtbl_intf] |
Hexable [Int_intf] |
I
Id [Unique_id_intf] |
Id [Unique_id] |
Identifiable [Interfaces] |
Indexable [Binary_searchable_intf.Binary_searchable] |
Indexable [Binary_searchable_intf] | An `Indexable` type is a finite sequence of elements indexed by consecutive integers `0` ...
Indexable1 [Binary_searchable_intf.Binary_searchable] |
Indexable1 [Binary_searchable_intf] |
Infix [Polymorphic_compare_intf] |
Infix [Monad_intf.Monad] |
Infix [Monad_intf] |
Infix [Comparable_intf] |
Infix [Comparable] |
Infix2 [Monad_intf.Monad] |
Infix2 [Monad_intf] | Same as Infix, except the monad type has two arguments.
Infix_comparators [Interfaces] |
Injective [Type_equal] | `Injective` is an interface that states that a type is injective, where the type is viewed as a function from types to other types.
Injective2 [Type_equal] | `Injective2` is for a binary type that is injective in both type arguments.
Intable [Interfaces] |
Interval_num [Timing_wheel_intf] | An `Interval_num.t` is an index of one of the intervals into which a timing-wheel partitions time.
Invariant [Invariant_intf] |
K
Key [Total_map] |
Key [Hash_queue] |
Key [Hash_heap] |
Key [Core_map_intf] |
Key [Core_map] |
Key [Core_hashtbl_intf.Hashtbl] |
Key [Core_hashtbl_intf] |
Key_binable [Core_map_intf] |
Key_binable [Core_map] |
Key_binable [Core_hashtbl_intf.Hashtbl] |
Key_binable [Core_hashtbl_intf] |
M
Make_arg [Flags_intf.Flags] |
Make_arg [Flags_intf] |
Make_arg [Container_intf] |
Map_and_set_binable [Comparable_intf] |
Map_and_set_binable [Comparable] |
Monad [Monad_intf] |
Monad [Interfaces] |
P
Polymorphic_compare [Comparable_intf] |
Pool [Pool_intf] |
Q
Quickcheck [Quickcheck_intf] |
Quickcheck_config [Quickcheck_intf] |
R
Raw [Validated_intf.S] |
Raw [Validated_intf] |
Raw_binable [Validated_intf] |
Robustly_comparable [Interfaces] |
Round [Int_intf] |
S
S [Validated_intf] |
S [Univ_map_intf] |
S [Unit] |
S [Total_map] |
S [Substring_intf] |
S [Stringable] |
S [String_id] |
S [Stack_intf] |
S [Stable_containers.Hashable.V1] |
S [Stable_containers.Comparable.V1] |
S [Sexpable] |
S [Robustly_comparable] |
S [Pretty_printer] | Modules that provide a pretty printer will match `S`.
S [Pool_intf.Pool] |
S [Pool_intf] | `S` is the module type for a pool.
S [Polymorphic_compare_intf] |
S [Monad_intf.Monad] |
S [Monad_intf] |
S [Make_substring] |
S [Invariant_intf.Invariant] |
S [Invariant_intf] |
S [Intable] |
S [Int_intf] |
S [Identifiable] |
S [Heap_intf] |
S [Hashable] |
S [Hash_set_intf] |
S [Hash_set] |
S [Hash_queue] |
S [Hash_heap] |
S [Floatable] |
S [Float_robust_compare] |
S [Float_intf] |
S [Flags_intf.Flags] |
S [Flags_intf] | `module type S` is the interface for a set of flags.
S [Equal] |
S [Either_intf] |
S [Core_set] | Module signature for a Set.
S [Core_map_intf] |
S [Core_map] |
S [Core_hashtbl_intf.Hashtbl] |
S [Core_hashtbl_intf] |
S [Constrained_float] |
S [Comparator] |
S [Comparable_intf] | Usage example:
S [Comparable] |
S [Commutative_group] |
S [Bucket] |
S [Blit_intf.Blit] |
S [Blit_intf] |
S [Binary_searchable_intf.Binary_searchable] |
S [Binary_searchable_intf] |
S [Binable] |
S [Applicative_intf] |
S0 [Stable_module_types] |
S0 [Core_set_intf] |
S0 [Container_intf.Container] |
S0 [Container_intf] |
S0_binable [Core_set_intf] |
S0_phantom [Container_intf.Container] |
S0_phantom [Container_intf] |
S1 [Univ_map_intf] |
S1 [Stable_module_types] |
S1 [Sexpable] |
S1 [Invariant_intf.Invariant] |
S1 [Invariant_intf] |
S1 [Equal] |
S1 [Container_intf.Container] |
S1 [Container_intf] |
S1 [Comparator] |
S1 [Blit_intf.Blit] |
S1 [Blit_intf] |
S1 [Binary_searchable_intf.Binary_searchable] |
S1 [Binary_searchable_intf] |
S1 [Binable] |
S1_permissions [Container_intf.Container] |
S1_permissions [Container_intf] |
S1_permissions [Blit_intf.Blit] |
S1_permissions [Blit_intf] |
S1_permissions [Binary_searchable_intf.Binary_searchable] |
S1_permissions [Binary_searchable_intf] |
S1_phantom [Container_intf.Container] |
S1_phantom [Container_intf] |
S1_phantom_invariant [Container_intf.Container] |
S1_phantom_invariant [Container_intf] |
S2 [Stable_module_types] |
S2 [Sexpable] |
S2 [Monad_intf.Monad] |
S2 [Monad_intf] | The same as S except the monad type has two arguments.
S2 [Invariant_intf.Invariant] |
S2 [Invariant_intf] |
S2 [Equal] |
S2 [Binable] |
S2 [Applicative_intf] |
S3 [Sexpable] |
S3 [Invariant_intf.Invariant] |
S3 [Invariant_intf] |
S3 [Equal] |
S_binable [Hashable] |
S_binable [Hash_set_intf] |
S_binable [Hash_set] |
S_binable [Core_set] | Module signature for a Set that supports `bin_io`.
S_binable [Core_map_intf] |
S_binable [Core_map] |
S_binable [Core_hashtbl_intf.Hashtbl] |
S_binable [Core_hashtbl_intf] |
S_binable [Comparable_intf] |
S_binable [Comparable] |
S_common [Comparable_intf] |
S_common [Comparable] |
S_distinct [Blit_intf.Blit] |
S_distinct [Blit_intf] |
S_permissions [Blit_intf.Blit] |
S_permissions [Blit_intf] |
Sequence [Blit_intf] |
Sexpable [Interfaces] |
Slot [Tuple_type_intf] |
Slot [Tuple_type] |
Slots [Tuple_type_intf] |
Slots [Tuple_type] |
Stable [Interfaces] |
Stable1 [Interfaces] |
Stable2 [Interfaces] |
Stringable [Interfaces] |
T
T |
T [Int_math] |
T1 [T] |
T2 [T] |
T3 [T] |
T_bin [T] |
Timing_wheel [Timing_wheel_intf] |
Timing_wheel_time [Timing_wheel_intf] | `Timing_wheel_time` is used to parameterize the timing-wheel interface over both `Time` and `Time_ns`.
U
Unique_id [Std_kernel] |
Unit [Interfaces] |
Unordered_container_arg [Stable_unit_test_intf] |
V
Validate [Comparable_intf] |
Validate [Comparable] |
Validated [Validated_intf.S] |
Validated [Validated_intf] |
Validated [Std_kernel] |
Validated_binable [Validated_intf.S] |
Validated_binable [Validated_intf] |
W
With_zero [Comparable_intf] |
With_zero [Comparable] |