← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to bundles/stdcompat/stdcompat-current/interfaces/3.07/array.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:
bundles/stdcompat/stdcompat-current/interfaces/3.07/array.mli
 
1
external length : 'a array -> int = "%array_length"
 
2
external get : 'a array -> int -> 'a = "%array_safe_get"
 
3
external set : 'a array -> int -> 'a -> unit = "%array_safe_set"
 
4
external make : int -> 'a -> 'a array = "make_vect"
 
5
external create : int -> 'a -> 'a array = "make_vect"
 
6
val init : int -> (int -> 'a) -> 'a array
 
7
val make_matrix : int -> int -> 'a -> 'a array array
 
8
val create_matrix : int -> int -> 'a -> 'a array array
 
9
val append : 'a array -> 'a array -> 'a array
 
10
val concat : 'a array list -> 'a array
 
11
val sub : 'a array -> int -> int -> 'a array
 
12
val copy : 'a array -> 'a array
 
13
val fill : 'a array -> int -> int -> 'a -> unit
 
14
val blit : 'a array -> int -> 'a array -> int -> int -> unit
 
15
val to_list : 'a array -> 'a list
 
16
val of_list : 'a list -> 'a array
 
17
val iter : ('a -> unit) -> 'a array -> unit
 
18
val map : ('a -> 'b) -> 'a array -> 'b array
 
19
val iteri : (int -> 'a -> unit) -> 'a array -> unit
 
20
val mapi : (int -> 'a -> 'b) -> 'a array -> 'b array
 
21
val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b array -> 'a
 
22
val fold_right : ('a -> 'b -> 'b) -> 'a array -> 'b -> 'b
 
23
val sort : ('a -> 'a -> int) -> 'a array -> unit
 
24
val stable_sort : ('a -> 'a -> int) -> 'a array -> unit
 
25
val fast_sort : ('a -> 'a -> int) -> 'a array -> unit
 
26
external unsafe_get : 'a array -> int -> 'a = "%array_unsafe_get"
 
27
external unsafe_set : 'a array -> int -> 'a -> unit = "%array_unsafe_set"