diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2018-05-13 15:21:10 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2018-05-23 18:50:10 +0200 |
commit | 944f62d08b7d78bcb20dd12ba138891d432b5987 (patch) | |
tree | 85f69d1898ea3704cf43e6f03b49f5426d7f9f2a /clib/cArray.ml | |
parent | f2ab2825077bf8344d2e55be433efb1891212589 (diff) |
Exporting Fun1 within Array so that Array.Fun1 and not only CArray.Fun1 works.
Diffstat (limited to 'clib/cArray.ml')
-rw-r--r-- | clib/cArray.ml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/clib/cArray.ml b/clib/cArray.ml index 6ea46655f..b26dae729 100644 --- a/clib/cArray.ml +++ b/clib/cArray.ml @@ -81,6 +81,18 @@ sig val fold_left_map : ('a -> 'b -> 'a * 'b) -> 'a -> 'b array -> 'a * 'b array val fold_left2_map : ('a -> 'b -> 'c -> 'a * 'c) -> 'a -> 'b array -> 'c array -> 'a * 'c array end + module Fun1 : + sig + val map : ('r -> 'a -> 'b) -> 'r -> 'a array -> 'b array + val smartmap : ('r -> 'a -> 'a) -> 'r -> 'a array -> 'a array + [@@ocaml.deprecated "Same as [Fun1.Smart.map]"] + val iter : ('r -> 'a -> unit) -> 'r -> 'a array -> unit + val iter2 : ('r -> 'a -> 'b -> unit) -> 'r -> 'a array -> 'b array -> unit + module Smart : + sig + val map : ('r -> 'a -> 'a) -> 'r -> 'a array -> 'a array + end + end end include Array |