1MoreLabels.Map.Make(3)           OCaml library          MoreLabels.Map.Make(3)
2
3
4

NAME

6       MoreLabels.Map.Make - no description
7

Module

9       Module   MoreLabels.Map.Make
10

Documentation

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 update : key:key -> f:('a option -> 'a option) -> 'a t -> 'a t
62
63
64
65
66       val singleton : key -> 'a -> 'a t
67
68
69
70
71       val remove : key -> 'a t -> 'a t
72
73
74
75
76       val  merge  : f:(key -> 'a option -> 'b option -> 'c option) -> 'a t ->
77       'b t -> 'c t
78
79
80
81
82       val union : f:(key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
83
84
85
86
87       val compare : cmp:('a -> 'a -> int) -> 'a t -> 'a t -> int
88
89
90
91
92       val equal : cmp:('a -> 'a -> bool) -> 'a t -> 'a t -> bool
93
94
95
96
97       val iter : f:(key:key -> data:'a -> unit) -> 'a t -> unit
98
99
100
101
102       val fold : f:(key:key -> data:'a -> 'b -> 'b) -> 'a t -> init:'b -> 'b
103
104
105
106
107       val for_all : f:(key -> 'a -> bool) -> 'a t -> bool
108
109
110
111
112       val exists : f:(key -> 'a -> bool) -> 'a t -> bool
113
114
115
116
117       val filter : f:(key -> 'a -> bool) -> 'a t -> 'a t
118
119
120
121
122       val filter_map : f:(key -> 'a -> 'b option) -> 'a t -> 'b t
123
124
125
126
127       val partition : f:(key -> 'a -> bool) -> 'a t -> 'a t * 'a t
128
129
130
131
132       val cardinal : 'a t -> int
133
134
135
136
137       val bindings : 'a t -> (key * 'a) list
138
139
140
141
142       val min_binding : 'a t -> key * 'a
143
144
145
146
147       val min_binding_opt : 'a t -> (key * 'a) option
148
149
150
151
152       val max_binding : 'a t -> key * 'a
153
154
155
156
157       val max_binding_opt : 'a t -> (key * 'a) option
158
159
160
161
162       val choose : 'a t -> key * 'a
163
164
165
166
167       val choose_opt : 'a t -> (key * 'a) option
168
169
170
171
172       val split : key -> 'a t -> 'a t * 'a option * 'a t
173
174
175
176
177       val find : key -> 'a t -> 'a
178
179
180
181
182       val find_opt : key -> 'a t -> 'a option
183
184
185
186
187       val find_first : f:(key -> bool) -> 'a t -> key * 'a
188
189
190
191
192       val find_first_opt : f:(key -> bool) -> 'a t -> (key * 'a) option
193
194
195
196
197       val find_last : f:(key -> bool) -> 'a t -> key * 'a
198
199
200
201
202       val find_last_opt : f:(key -> bool) -> 'a t -> (key * 'a) option
203
204
205
206
207       val map : f:('a -> 'b) -> 'a t -> 'b t
208
209
210
211
212       val mapi : f:(key -> 'a -> 'b) -> 'a t -> 'b t
213
214
215
216
217       val to_seq : 'a t -> (key * 'a) Seq.t
218
219
220
221
222       val to_seq_from : key -> 'a t -> (key * 'a) Seq.t
223
224
225
226
227       val add_seq : (key * 'a) Seq.t -> 'a t -> 'a t
228
229
230
231
232       val of_seq : (key * 'a) Seq.t -> 'a t
233
234
235
236
237
238
239OCamldoc                          2021-01-26            MoreLabels.Map.Make(3)
Impressum