1MoreLabels.Map.Make(3) OCaml library 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 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 partition : f:(key -> 'a -> bool) -> 'a t -> 'a t * 'a t
123
124
125
126
127 val cardinal : 'a t -> int
128
129
130
131
132 val bindings : 'a t -> (key * 'a) list
133
134
135
136
137 val min_binding : 'a t -> key * 'a
138
139
140
141
142 val min_binding_opt : 'a t -> (key * 'a) option
143
144
145
146
147 val max_binding : 'a t -> key * 'a
148
149
150
151
152 val max_binding_opt : 'a t -> (key * 'a) option
153
154
155
156
157 val choose : 'a t -> key * 'a
158
159
160
161
162 val choose_opt : 'a t -> (key * 'a) option
163
164
165
166
167 val split : key -> 'a t -> 'a t * 'a option * 'a t
168
169
170
171
172 val find : key -> 'a t -> 'a
173
174
175
176
177 val find_opt : key -> 'a t -> 'a option
178
179
180
181
182 val find_first : f:(key -> bool) -> 'a t -> key * 'a
183
184
185
186
187 val find_first_opt : f:(key -> bool) -> 'a t -> (key * 'a) option
188
189
190
191
192 val find_last : f:(key -> bool) -> 'a t -> key * 'a
193
194
195
196
197 val find_last_opt : f:(key -> bool) -> 'a t -> (key * 'a) option
198
199
200
201
202 val map : f:('a -> 'b) -> 'a t -> 'b t
203
204
205
206
207 val mapi : f:(key -> 'a -> 'b) -> 'a t -> 'b t
208
209
210
211
212 val to_seq : 'a t -> (key * 'a) Seq.t
213
214
215
216
217 val to_seq_from : key -> 'a t -> (key * 'a) Seq.t
218
219
220
221
222 val add_seq : (key * 'a) Seq.t -> 'a t -> 'a t
223
224
225
226
227 val of_seq : (key * 'a) Seq.t -> 'a t
228
229
230
231
232
233
234OCamldoc 2019-07-30 MoreLabels.Map.Make(3)