1Identifiable.Map(3) OCaml library Identifiable.Map(3)
2
3
4
6 Identifiable.Map - no description
7
9 Module type Identifiable.Map
10
12 Module type Map
13 = sig end
14
15
16
17
18
19
20
21 module T : Map.OrderedType
22
23
24
25
26 include Map.S
27
28
29
30
31 val of_list : (key * 'a) list -> 'a t
32
33
34
35
36 val disjoint_union : ?eq:('a -> 'a -> bool) -> ?print:(Format.formatter
37 -> 'a -> unit) -> 'a t -> 'a t -> 'a t
38
39
40 disjoint_union m1 m2 contains all bindings from m1 and m2 . If some
41 binding is present in both and the associated value is not equal, a
42 Fatal_error is raised
43
44
45
46 val union_right : 'a t -> 'a t -> 'a t
47
48
49 union_right m1 m2 contains all bindings from m1 and m2 . If some bind‐
50 ing is present in both, the one from m2 is taken
51
52
53
54 val union_left : 'a t -> 'a t -> 'a t
55
56
57 union_left m1 m2 = union_right m2 m1
58
59
60
61
62 val union_merge : ('a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t
63
64
65
66
67 val rename : key t -> key -> key
68
69
70
71
72 val map_keys : (key -> key) -> 'a t -> 'a t
73
74
75
76
77 val keys : 'a t -> Stdlib.Set.Make(T).t
78
79
80
81
82 val data : 'a t -> 'a list
83
84
85
86
87 val of_set : (key -> 'a) -> Stdlib.Set.Make(T).t -> 'a t
88
89
90
91
92 val transpose_keys_and_data : key t -> key t
93
94
95
96
97 val transpose_keys_and_data_set : key t -> Stdlib.Set.Make(T).t t
98
99
100
101
102 val print : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a
103 t -> unit
104
105
106
107
108
109
110OCamldoc 2020-09-01 Identifiable.Map(3)