1MoreLabels.Map.Make(3) OCamldoc MoreLabels.Map.Make(3)
2
3
4
6 MoreLabels.Map.Make - no description
7
9 Module MoreLabels.Map.Make
10
12 Module Make
13 : functor (Ord : OrderedType) -> sig end
14
15
16
17
18 Parameters:
19
20 "Ord"
21
22 MoreLabels.Map.OrderedType
23
24
25
26
27
28
29
30 type key
31
32
33
34
35 type +'a t
36
37
38
39
40
41 val empty : 'a t
42
43
44
45
46 val is_empty : 'a t -> bool
47
48
49
50
51 val mem : key -> 'a t -> bool
52
53
54
55
56 val add : key:key -> data:'a -> 'a t -> 'a t
57
58
59
60
61 val singleton : key -> 'a -> 'a t
62
63
64
65
66 val remove : key -> 'a t -> 'a t
67
68
69
70
71 val merge : f:(key -> 'a option -> 'b option -> 'c option) -> 'a t ->
72 'b t -> 'c t
73
74
75
76
77 val union : f:(key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
78
79
80
81
82 val compare : cmp:('a -> 'a -> int) -> 'a t -> 'a t -> int
83
84
85
86
87 val equal : cmp:('a -> 'a -> bool) -> 'a t -> 'a t -> bool
88
89
90
91
92 val iter : f:(key:key -> data:'a -> unit) -> 'a t -> unit
93
94
95
96
97 val fold : f:(key:key -> data:'a -> 'b -> 'b) -> 'a t -> init:'b -> 'b
98
99
100
101
102 val for_all : f:(key -> 'a -> bool) -> 'a t -> bool
103
104
105
106
107 val exists : f:(key -> 'a -> bool) -> 'a t -> bool
108
109
110
111
112 val filter : f:(key -> 'a -> bool) -> 'a t -> 'a t
113
114
115
116
117 val partition : f:(key -> 'a -> bool) -> 'a t -> 'a t * 'a t
118
119
120
121
122 val cardinal : 'a t -> int
123
124
125
126
127 val bindings : 'a t -> (key * 'a) list
128
129
130
131
132 val min_binding : 'a t -> key * 'a
133
134
135
136
137 val min_binding_opt : 'a t -> (key * 'a) option
138
139
140
141
142 val max_binding : 'a t -> key * 'a
143
144
145
146
147 val max_binding_opt : 'a t -> (key * 'a) option
148
149
150
151
152 val choose : 'a t -> key * 'a
153
154
155
156
157 val choose_opt : 'a t -> (key * 'a) option
158
159
160
161
162 val split : key -> 'a t -> 'a t * 'a option * 'a t
163
164
165
166
167 val find : key -> 'a t -> 'a
168
169
170
171
172 val find_opt : key -> 'a t -> 'a option
173
174
175
176
177 val find_first : f:(key -> bool) -> 'a t -> key * 'a
178
179
180
181
182 val find_first_opt : f:(key -> bool) -> 'a t -> (key * 'a) option
183
184
185
186
187 val find_last : f:(key -> bool) -> 'a t -> key * 'a
188
189
190
191
192 val find_last_opt : f:(key -> bool) -> 'a t -> (key * 'a) option
193
194
195
196
197 val map : f:('a -> 'b) -> 'a t -> 'b t
198
199
200
201
202 val mapi : f:(key -> 'a -> 'b) -> 'a t -> 'b t
203
204
205
206
207
208
2092018-04-14 source: MoreLabels.Map.Make(3)