diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2012-03-08 19:52:03 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2012-03-08 19:52:03 +0000 |
commit | 6c24f4f90b23e8c4536281d31461adfe5a15b739 (patch) | |
tree | 29f6c4af8052800cc7d0eafb9650c6be8e90a2e5 /stdlib/lazy.mli | |
parent | 1fb4007ece64b1d59e16d7a84639fce1dd69ed45 (diff) |
merge version 3.12 from 3.12.1 to r12205
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/lazy.mli')
-rw-r--r-- | stdlib/lazy.mli | 22 |
1 files changed, 15 insertions, 7 deletions
diff --git a/stdlib/lazy.mli b/stdlib/lazy.mli index 4a3b5df0f..4a4419c22 100644 --- a/stdlib/lazy.mli +++ b/stdlib/lazy.mli @@ -62,15 +62,23 @@ val force_val : 'a t -> 'a;; whether [force_val x] raises the same exception or [Undefined]. *) -val lazy_from_fun : (unit -> 'a) -> 'a t;; -(** [lazy_from_fun f] is the same as [lazy (f ())] but slightly more - efficient. *) +val from_fun : (unit -> 'a) -> 'a t;; +(** [from_fun f] is the same as [lazy (f ())] but slightly more efficient. *) -val lazy_from_val : 'a -> 'a t;; -(** [lazy_from_val v] returns an already-forced suspension of [v] +val from_val : 'a -> 'a t;; +(** [from_val v] returns an already-forced suspension of [v]. This is for special purposes only and should not be confused with [lazy (v)]. *) -val lazy_is_val : 'a t -> bool;; -(** [lazy_is_val x] returns [true] if [x] has already been forced and +val is_val : 'a t -> bool;; +(** [is_val x] returns [true] if [x] has already been forced and did not raise an exception. *) + +val lazy_from_fun : (unit -> 'a) -> 'a t;; +(** @deprecated synonym for [from_fun]. *) + +val lazy_from_val : 'a -> 'a t;; +(** @deprecated synonym for [from_val]. *) + +val lazy_is_val : 'a t -> bool;; +(** @deprecated synonym for [is_val]. *) |