diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 1997-10-31 12:59:29 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 1997-10-31 12:59:29 +0000 |
| commit | b8ccccff4994228b656515fe0ebbcb25eb456aec (patch) | |
| tree | 691172f2d39ae0684cd1346cf9ed60c9f8d540cf /stdlib/list.mli | |
| parent | 100004bca838c6d83a3056fe3321cd919df8c72a (diff) | |
| download | ocaml-b8ccccff4994228b656515fe0ebbcb25eb456aec.tar.gz | |
Makefiles: fix disparition de weak.cmo
Changement de type des fonctions iter
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1747 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/list.mli')
| -rw-r--r-- | stdlib/list.mli | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/list.mli b/stdlib/list.mli index 87a367a76e..f8542c7ba3 100644 --- a/stdlib/list.mli +++ b/stdlib/list.mli @@ -33,9 +33,9 @@ val flatten : 'a list list -> 'a list (** Iterators *) -val iter : ('a -> 'b) -> 'a list -> unit +val iter : ('a -> unit) -> 'a list -> unit (* [List.iter f [a1; ...; an]] applies function [f] in turn to - [a1; ...; an], discarding all the results. It is equivalent to + [a1; ...; an]. It is equivalent to [begin f a1; f a2; ...; f an; () end]. *) val map : ('a -> 'b) -> 'a list -> 'b list (* [List.map f [a1; ...; an]] applies function [f] to [a1, ..., an], @@ -50,9 +50,9 @@ val fold_right : ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b (** Iterators on two lists *) -val iter2 : ('a -> 'b -> 'c) -> 'a list -> 'b list -> unit +val iter2 : ('a -> 'b -> unit) -> 'a list -> 'b list -> unit (* [List.iter2 f [a1; ...; an] [b1; ...; bn]] calls in turn - [f a1 b1; ...; f an bn], discarding the results. + [f a1 b1; ...; f an bn]. Raise [Invalid_argument] if the two lists have different lengths. *) val map2 : ('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list |