← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to bundles/stdcompat/stdcompat-8/stdcompat__listLabels_s.mli.in

  • Committer: Thierry Martinez
  • Date: 2019-08-20 13:37:04 UTC
  • Revision ID: git-v1:0214afad4a32c95349c2c5a38e37cea407c455d0
Update bundles

Show diffs side-by-side

added added

removed removed

Lines of Context:
bundles/stdcompat/stdcompat-8/stdcompat__listLabels_s.mli.in
1
 
module type S = sig
2
 
@BEGIN_FROM_4_08_0@
3
 
type 'a t = 'a list =
4
 
  | [] 
5
 
  | (::) of 'a * 'a list 
6
 
@END_FROM_4_08_0@
7
 
@BEGIN_BEFORE_4_08_0@
8
 
type 'a t = 'a list
9
 
@BEGIN_FROM_4_03_0@
10
 
  =  [] | (::) of 'a * 'a list
11
 
@END_FROM_4_03_0@
12
 
@END_BEFORE_4_08_0@
13
 
(** @since 4.08.0: type 'a t = 'a list =
14
 
                     | [] 
15
 
                     | (::) of 'a * 'a list 
16
 
 *)
17
 
 
18
 
@BEGIN_FROM_4_07_0@
19
 
val to_seq : 'a list -> 'a Seq.t
20
 
@END_FROM_4_07_0@
21
 
@BEGIN_BEFORE_4_07_0@
22
 
val to_seq : 'a list -> 'a Stdcompat__seq.t
23
 
@END_BEFORE_4_07_0@
24
 
(** @since 4.07.0: val to_seq : 'a list -> 'a Seq.t
25
 
 *)
26
 
 
27
 
@BEGIN_FROM_4_07_0@
28
 
val of_seq : 'a Seq.t -> 'a list
29
 
@END_FROM_4_07_0@
30
 
@BEGIN_BEFORE_4_07_0@
31
 
val of_seq : 'a Stdcompat__seq.t -> 'a list
32
 
@END_BEFORE_4_07_0@
33
 
(** @since 4.07.0: val of_seq : 'a Seq.t -> 'a list
34
 
 *)
35
 
 
36
 
val init : len:int -> f:(int -> 'a) -> 'a list
37
 
(** @since 4.06.0: val init : len:int -> f:(int -> 'a) -> 'a list *)
38
 
 
39
 
val compare_lengths : 'a list -> 'b list -> int
40
 
(** @since 4.05.0: val compare_lengths : 'a list -> 'b list -> int *)
41
 
 
42
 
val compare_length_with : 'a list -> len:int -> int
43
 
(** @since 4.05.0: val compare_length_with : 'a list -> len:int -> int *)
44
 
 
45
 
val cons : 'a -> 'a list -> 'a list
46
 
(** @since 4.05.0: val cons : 'a -> 'a list -> 'a list *)
47
 
 
48
 
val nth_opt : 'a list -> int -> 'a option
49
 
(** @since 4.05.0: val nth_opt : 'a list -> int -> 'a option *)
50
 
 
51
 
val find_opt : f:('a -> bool) -> 'a list -> 'a option
52
 
(** @since 4.05.0: val find_opt : f:('a -> bool) -> 'a list -> 'a option *)
53
 
 
54
 
val assoc_opt : 'a -> ('a * 'b) list -> 'b option
55
 
(** @since 4.05.0: val assoc_opt : 'a -> ('a * 'b) list -> 'b option *)
56
 
 
57
 
val assq_opt : 'a -> ('a * 'b) list -> 'b option
58
 
(** @since 4.05.0: val assq_opt : 'a -> ('a * 'b) list -> 'b option *)
59
 
 
60
 
val sort_uniq : cmp:('a -> 'a -> int) -> 'a list -> 'a list
61
 
(** @since 4.03.0:
62
 
    val sort_uniq : cmp:('a -> 'a -> int) -> 'a list -> 'a list *)
63
 
 
64
 
val iteri : f:(int -> 'a -> unit) -> 'a list -> unit
65
 
(** @since 4.00.0: val iteri : f:(int -> 'a -> unit) -> 'a list -> unit *)
66
 
 
67
 
val mapi : f:(int -> 'a -> 'b) -> 'a list -> 'b list
68
 
(** @since 4.00.0: val mapi : f:(int -> 'a -> 'b) -> 'a list -> 'b list *)
69
 
 
70
 
val length : 'a list -> int
71
 
(** Alias for {!ListLabels.length} *)
72
 
 
73
 
val hd : 'a list -> 'a
74
 
(** Alias for {!ListLabels.hd} *)
75
 
 
76
 
val tl : 'a list -> 'a list
77
 
(** Alias for {!ListLabels.tl} *)
78
 
 
79
 
val nth : 'a list -> int -> 'a
80
 
(** Alias for {!ListLabels.nth} *)
81
 
 
82
 
val rev : 'a list -> 'a list
83
 
(** Alias for {!ListLabels.rev} *)
84
 
 
85
 
val append : 'a list -> 'a list -> 'a list
86
 
(** Alias for {!ListLabels.append} *)
87
 
 
88
 
val rev_append : 'a list -> 'a list -> 'a list
89
 
(** Alias for {!ListLabels.rev_append} *)
90
 
 
91
 
val concat : 'a list list -> 'a list
92
 
(** Alias for {!ListLabels.concat} *)
93
 
 
94
 
val flatten : 'a list list -> 'a list
95
 
(** Alias for {!ListLabels.flatten} *)
96
 
 
97
 
val iter : f:('a -> unit) -> 'a list -> unit
98
 
(** Alias for {!ListLabels.iter} *)
99
 
 
100
 
val map : f:('a -> 'b) -> 'a list -> 'b list
101
 
(** Alias for {!ListLabels.map} *)
102
 
 
103
 
val rev_map : f:('a -> 'b) -> 'a list -> 'b list
104
 
(** Alias for {!ListLabels.rev_map} *)
105
 
 
106
 
val fold_left : f:('a -> 'b -> 'a) -> init:'a -> 'b list -> 'a
107
 
(** Alias for {!ListLabels.fold_left} *)
108
 
 
109
 
val fold_right : f:('a -> 'b -> 'b) -> 'a list -> init:'b -> 'b
110
 
(** Alias for {!ListLabels.fold_right} *)
111
 
 
112
 
val iter2 : f:('a -> 'b -> unit) -> 'a list -> 'b list -> unit
113
 
(** Alias for {!ListLabels.iter2} *)
114
 
 
115
 
val map2 : f:('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list
116
 
(** Alias for {!ListLabels.map2} *)
117
 
 
118
 
val rev_map2 : f:('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list
119
 
(** Alias for {!ListLabels.rev_map2} *)
120
 
 
121
 
val fold_left2 :
122
 
  f:('a -> 'b -> 'c -> 'a) -> init:'a -> 'b list -> 'c list -> 'a
123
 
(** Alias for {!ListLabels.fold_left2} *)
124
 
 
125
 
val fold_right2 :
126
 
  f:('a -> 'b -> 'c -> 'c) -> 'a list -> 'b list -> init:'c -> 'c
127
 
(** Alias for {!ListLabels.fold_right2} *)
128
 
 
129
 
val for_all : f:('a -> bool) -> 'a list -> bool
130
 
(** Alias for {!ListLabels.for_all} *)
131
 
 
132
 
val exists : f:('a -> bool) -> 'a list -> bool
133
 
(** Alias for {!ListLabels.exists} *)
134
 
 
135
 
val for_all2 : f:('a -> 'b -> bool) -> 'a list -> 'b list -> bool
136
 
(** Alias for {!ListLabels.for_all2} *)
137
 
 
138
 
val exists2 : f:('a -> 'b -> bool) -> 'a list -> 'b list -> bool
139
 
(** Alias for {!ListLabels.exists2} *)
140
 
 
141
 
val mem : 'a -> set:'a list -> bool
142
 
(** Alias for {!ListLabels.mem} *)
143
 
 
144
 
val memq : 'a -> set:'a list -> bool
145
 
(** Alias for {!ListLabels.memq} *)
146
 
 
147
 
val find : f:('a -> bool) -> 'a list -> 'a
148
 
(** Alias for {!ListLabels.find} *)
149
 
 
150
 
val filter : f:('a -> bool) -> 'a list -> 'a list
151
 
(** Alias for {!ListLabels.filter} *)
152
 
 
153
 
val find_all : f:('a -> bool) -> 'a list -> 'a list
154
 
(** Alias for {!ListLabels.find_all} *)
155
 
 
156
 
val partition : f:('a -> bool) -> 'a list -> ('a list * 'a list)
157
 
(** Alias for {!ListLabels.partition} *)
158
 
 
159
 
val assoc : 'a -> ('a * 'b) list -> 'b
160
 
(** Alias for {!ListLabels.assoc} *)
161
 
 
162
 
val assq : 'a -> ('a * 'b) list -> 'b
163
 
(** Alias for {!ListLabels.assq} *)
164
 
 
165
 
val mem_assoc : 'a -> map:('a * 'b) list -> bool
166
 
(** Alias for {!ListLabels.mem_assoc} *)
167
 
 
168
 
val mem_assq : 'a -> map:('a * 'b) list -> bool
169
 
(** Alias for {!ListLabels.mem_assq} *)
170
 
 
171
 
val remove_assoc : 'a -> ('a * 'b) list -> ('a * 'b) list
172
 
(** Alias for {!ListLabels.remove_assoc} *)
173
 
 
174
 
val remove_assq : 'a -> ('a * 'b) list -> ('a * 'b) list
175
 
(** Alias for {!ListLabels.remove_assq} *)
176
 
 
177
 
val split : ('a * 'b) list -> ('a list * 'b list)
178
 
(** Alias for {!ListLabels.split} *)
179
 
 
180
 
val combine : 'a list -> 'b list -> ('a * 'b) list
181
 
(** Alias for {!ListLabels.combine} *)
182
 
 
183
 
val sort : cmp:('a -> 'a -> int) -> 'a list -> 'a list
184
 
(** Alias for {!ListLabels.sort} *)
185
 
 
186
 
val stable_sort : cmp:('a -> 'a -> int) -> 'a list -> 'a list
187
 
(** Alias for {!ListLabels.stable_sort} *)
188
 
 
189
 
val fast_sort : cmp:('a -> 'a -> int) -> 'a list -> 'a list
190
 
(** Alias for {!ListLabels.fast_sort} *)
191
 
 
192
 
val merge : cmp:('a -> 'a -> int) -> 'a list -> 'a list -> 'a list
193
 
(** Alias for {!ListLabels.merge} *)
194
 
 
195
 
end