module type Creators = sig
.. end
type ('k, 'v, 'comparator)
t
type ('k, 'v, 'comparator)
tree
type 'k
key
type ('a, 'comparator, 'z)
options
val empty : ('k, 'comparator, ('k, 'a, 'comparator) t)
options
the empty map
val singleton : ('k, 'comparator,
'k key ->
'v -> ('k, 'v, 'comparator) t)
options
map with one key, data pair
val of_sorted_array : ('k, 'comparator,
('k key * 'v) array ->
('k, 'v, 'comparator) t Or_error.t)
options
creates map from sorted array of key-data pairs. The input array must be sorted,
as given by the relevant comparator (either in ascending or descending order),
and must not contain any duplicate keys.
If either of these conditions do not hold, an error is returned.
val of_sorted_array_unchecked : ('k, 'comparator,
('k key * 'v) array ->
('k, 'v, 'comparator) t)
options
Like of_sorted_array
except behavior is undefined when an Error
would have been
returned.
val of_alist : ('k, 'comparator,
('k key * 'v) list ->
[ `Duplicate_key of 'k key
| `Ok of ('k, 'v, 'comparator) t ])
options
creates map from association list with unique keys
val of_alist_exn : ('k, 'comparator,
('k key * 'v) list ->
('k, 'v, 'comparator) t)
options
creates map from association list with unique keys. Raises an exception if
duplicate 'a keys are found.
val of_alist_multi : ('k, 'comparator,
('k key * 'v) list ->
('k, 'v list, 'comparator) t)
options
creates map from association list with possibly repeated keys.
val of_alist_fold : ('k, 'comparator,
('k key * 'v1) list ->
init:'v2 ->
f:('v2 -> 'v1 -> 'v2) -> ('k, 'v2, 'comparator) t)
options
combines an association list into a map, folding together bound values with common
keys
val of_tree : ('k, 'comparator,
('k key, 'v, 'comparator) tree ->
('k, 'v, 'comparator) t)
options