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