~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to bundles/stdcompat/stdcompat-current/interfaces/3.08/stdLabels.mli

  • 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:
 
1
module Array :
 
2
sig
 
3
  external length : 'a array -> int = "%array_length"
 
4
  external get : 'a array -> int -> 'a = "%array_safe_get"
 
5
  external set : 'a array -> int -> 'a -> unit = "%array_safe_set"
 
6
  external make : int -> 'a -> 'a array = "caml_make_vect"
 
7
  external create : int -> 'a -> 'a array = "caml_make_vect"
 
8
  val init : int -> f:(int -> 'a) -> 'a array
 
9
  val make_matrix : dimx:int -> dimy:int -> 'a -> 'a array array
 
10
  val create_matrix : dimx:int -> dimy:int -> 'a -> 'a array array
 
11
  val append : 'a array -> 'a array -> 'a array
 
12
  val concat : 'a array list -> 'a array
 
13
  val sub : 'a array -> pos:int -> len:int -> 'a array
 
14
  val copy : 'a array -> 'a array
 
15
  val fill : 'a array -> pos:int -> len:int -> 'a -> unit
 
16
  val blit :
 
17
    src:'a array ->
 
18
      src_pos:int -> dst:'a array -> dst_pos:int -> len:int -> unit
 
19
  val to_list : 'a array -> 'a list
 
20
  val of_list : 'a list -> 'a array
 
21
  val iter : f:('a -> unit) -> 'a array -> unit
 
22
  val map : f:('a -> 'b) -> 'a array -> 'b array
 
23
  val iteri : f:(int -> 'a -> unit) -> 'a array -> unit
 
24
  val mapi : f:(int -> 'a -> 'b) -> 'a array -> 'b array
 
25
  val fold_left : f:('a -> 'b -> 'a) -> init:'a -> 'b array -> 'a
 
26
  val fold_right : f:('a -> 'b -> 'b) -> 'a array -> init:'b -> 'b
 
27
  val sort : cmp:('a -> 'a -> int) -> 'a array -> unit
 
28
  val stable_sort : cmp:('a -> 'a -> int) -> 'a array -> unit
 
29
  val fast_sort : cmp:('a -> 'a -> int) -> 'a array -> unit
 
30
  external unsafe_get : 'a array -> int -> 'a = "%array_unsafe_get"
 
31
  external unsafe_set : 'a array -> int -> 'a -> unit = "%array_unsafe_set"
 
32
end
 
33
module List :
 
34
sig
 
35
  val length : 'a list -> int
 
36
  val hd : 'a list -> 'a
 
37
  val tl : 'a list -> 'a list
 
38
  val nth : 'a list -> int -> 'a
 
39
  val rev : 'a list -> 'a list
 
40
  val append : 'a list -> 'a list -> 'a list
 
41
  val rev_append : 'a list -> 'a list -> 'a list
 
42
  val concat : 'a list list -> 'a list
 
43
  val flatten : 'a list list -> 'a list
 
44
  val iter : f:('a -> unit) -> 'a list -> unit
 
45
  val map : f:('a -> 'b) -> 'a list -> 'b list
 
46
  val rev_map : f:('a -> 'b) -> 'a list -> 'b list
 
47
  val fold_left : f:('a -> 'b -> 'a) -> init:'a -> 'b list -> 'a
 
48
  val fold_right : f:('a -> 'b -> 'b) -> 'a list -> init:'b -> 'b
 
49
  val iter2 : f:('a -> 'b -> unit) -> 'a list -> 'b list -> unit
 
50
  val map2 : f:('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list
 
51
  val rev_map2 : f:('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list
 
52
  val fold_left2 :
 
53
    f:('a -> 'b -> 'c -> 'a) -> init:'a -> 'b list -> 'c list -> 'a
 
54
  val fold_right2 :
 
55
    f:('a -> 'b -> 'c -> 'c) -> 'a list -> 'b list -> init:'c -> 'c
 
56
  val for_all : f:('a -> bool) -> 'a list -> bool
 
57
  val exists : f:('a -> bool) -> 'a list -> bool
 
58
  val for_all2 : f:('a -> 'b -> bool) -> 'a list -> 'b list -> bool
 
59
  val exists2 : f:('a -> 'b -> bool) -> 'a list -> 'b list -> bool
 
60
  val mem : 'a -> set:'a list -> bool
 
61
  val memq : 'a -> set:'a list -> bool
 
62
  val find : f:('a -> bool) -> 'a list -> 'a
 
63
  val filter : f:('a -> bool) -> 'a list -> 'a list
 
64
  val find_all : f:('a -> bool) -> 'a list -> 'a list
 
65
  val partition : f:('a -> bool) -> 'a list -> ('a list * 'a list)
 
66
  val assoc : 'a -> ('a * 'b) list -> 'b
 
67
  val assq : 'a -> ('a * 'b) list -> 'b
 
68
  val mem_assoc : 'a -> map:('a * 'b) list -> bool
 
69
  val mem_assq : 'a -> map:('a * 'b) list -> bool
 
70
  val remove_assoc : 'a -> ('a * 'b) list -> ('a * 'b) list
 
71
  val remove_assq : 'a -> ('a * 'b) list -> ('a * 'b) list
 
72
  val split : ('a * 'b) list -> ('a list * 'b list)
 
73
  val combine : 'a list -> 'b list -> ('a * 'b) list
 
74
  val sort : cmp:('a -> 'a -> int) -> 'a list -> 'a list
 
75
  val stable_sort : cmp:('a -> 'a -> int) -> 'a list -> 'a list
 
76
  val fast_sort : cmp:('a -> 'a -> int) -> 'a list -> 'a list
 
77
  val merge : cmp:('a -> 'a -> int) -> 'a list -> 'a list -> 'a list
 
78
end
 
79
module String :
 
80
sig
 
81
  external length : string -> int = "%string_length"
 
82
  external get : string -> int -> char = "%string_safe_get"
 
83
  external set : string -> int -> char -> unit = "%string_safe_set"
 
84
  external create : int -> string = "caml_create_string"
 
85
  val make : int -> char -> string
 
86
  val copy : string -> string
 
87
  val sub : string -> pos:int -> len:int -> string
 
88
  val fill : string -> pos:int -> len:int -> char -> unit
 
89
  val blit :
 
90
    src:string -> src_pos:int -> dst:string -> dst_pos:int -> len:int -> unit
 
91
  val concat : sep:string -> string list -> string
 
92
  val iter : f:(char -> unit) -> string -> unit
 
93
  val escaped : string -> string
 
94
  val index : string -> char -> int
 
95
  val rindex : string -> char -> int
 
96
  val index_from : string -> int -> char -> int
 
97
  val rindex_from : string -> int -> char -> int
 
98
  val contains : string -> char -> bool
 
99
  val contains_from : string -> int -> char -> bool
 
100
  val rcontains_from : string -> int -> char -> bool
 
101
  val uppercase : string -> string
 
102
  val lowercase : string -> string
 
103
  val capitalize : string -> string
 
104
  val uncapitalize : string -> string
 
105
  type t = string
 
106
  val compare : t -> t -> int
 
107
  external unsafe_get : string -> int -> char = "%string_unsafe_get"
 
108
  external unsafe_set : string -> int -> char -> unit = "%string_unsafe_set"
 
109
  external unsafe_blit :
 
110
    src:string -> src_pos:int -> dst:string -> dst_pos:int -> len:int -> unit
 
111
      = "caml_blit_string" "noalloc"
 
112
  external unsafe_fill :
 
113
    string -> pos:int -> len:int -> char -> unit = "caml_fill_string"
 
114
      "noalloc"
 
115
end