← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to bundles/stdcompat/stdcompat-8/stdcompat__seq_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__seq_s.mli.in
1
 
module type S = sig
2
 
 
3
 
@BEGIN_FROM_4_07_0@
4
 
type 'a t = unit -> 'a node
5
 
and 'a node = 'a Seq.node =
6
 
  | Nil 
7
 
  | Cons of 'a * 'a t 
8
 
@END_FROM_4_07_0@
9
 
@BEGIN_BEFORE_4_07_0@
10
 
type 'a t = unit -> 'a node
11
 
and 'a node =
12
 
  'a Stdcompat__init.seq_node =
13
 
  | Nil
14
 
  | Cons of 'a * 'a t
15
 
@END_BEFORE_4_07_0@
16
 
(** @since 4.07.0:
17
 
    type 'a t = unit -> 'a node
18
 
    and 'a node =
19
 
      | Nil 
20
 
      | Cons of 'a * 'a t 
21
 
 *)
22
 
 
23
 
val empty : 'a t
24
 
(** @since 4.07.0: val empty : 'a t *)
25
 
 
26
 
val return : 'a -> 'a t
27
 
(** @since 4.07.0: val return : 'a -> 'a t *)
28
 
 
29
 
val map : ('a -> 'b) -> 'a t -> 'b t
30
 
(** @since 4.07.0: val map : ('a -> 'b) -> 'a t -> 'b t *)
31
 
 
32
 
val filter : ('a -> bool) -> 'a t -> 'a t
33
 
(** @since 4.07.0: val filter : ('a -> bool) -> 'a t -> 'a t *)
34
 
 
35
 
val filter_map : ('a -> 'b option) -> 'a t -> 'b t
36
 
(** @since 4.07.0: val filter_map : ('a -> 'b option) -> 'a t -> 'b t *)
37
 
 
38
 
val flat_map : ('a -> 'b t) -> 'a t -> 'b t
39
 
(** @since 4.07.0: val flat_map : ('a -> 'b t) -> 'a t -> 'b t *)
40
 
 
41
 
val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a
42
 
(** @since 4.07.0: val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a *)
43
 
 
44
 
val iter : ('a -> unit) -> 'a t -> unit
45
 
(** @since 4.07.0: val iter : ('a -> unit) -> 'a t -> unit *)
46
 
 
47
 
end