To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
On This Page
package base
-
base
-
-
base.base_internalhash_types
-
base.caml
-
base.md5
-
base.shadow_stdlib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
M is meant to be used in combination with OCaml applicative functor types:
type string_to_int_map = int Map.M(String).twhich stands for:
type string_to_int_map = (String.t, int, String.comparator_witness) Map.tThe point is that int Map.M(String).t supports deriving, whereas the second syntax doesn't (because there is no such thing as, say, String.sexp_of_comparator_witness -- instead you would want to pass the comparator directly).
In addition, when using @@deriving, the requirements on the key module are only those needed to satisfy what you are trying to derive on the map itself. Say you write:
type t = int Map.M(X).t [@@deriving hash]then this will be well typed exactly if X contains at least:
- a type
twith no parameters - a comparator witness
- a
hash_fold_tfunction with the right type
Parameters
module K : sig ... endSignature
type nonrec 'v t = (K.t, 'v, K.comparator_witness) tOn This Page