(>>=) [Lwt] | t >>= f is an alternative notation for bind t f .
|
A | |
accept [Lwt_unix] | |
B | |
bind [Lwt] | bind t f is a thread which first waits for the thread t
to terminate and then, if the thread succeeds, behaves as the
application of function f to the return value of t .
|
C | |
catch [Lwt] | catch t f is a thread that behaves as the thread t () if
this thread succeeds.
|
choose [Lwt] | choose l behaves as the first thread in l to terminate.
|
close_process [Lwt_unix] | |
close_process_full [Lwt_unix] | |
close_process_in [Lwt_unix] | |
close_process_out [Lwt_unix] | |
connect [Lwt_unix] | |
F | |
fail [Lwt] | fail e is a thread that fails with the exception e .
|
flush [Lwt_unix] | |
I | |
ignore_result [Lwt] | ignore_result t start the thread t and ignores its result
value if the thread terminates sucessfully.
|
in_channel_of_descr [Lwt_unix] | |
in_channel_of_unixdescr [Lwt_unix] | |
input [Lwt_unix] | |
input_binary_int [Lwt_unix] | |
input_char [Lwt_unix] | |
input_line [Lwt_unix] | |
input_value [Lwt_unix] | |
O | |
open_process [Lwt_unix] | |
open_process_full [Lwt_unix] | |
open_process_in [Lwt_unix] | |
open_process_out [Lwt_unix] | |
out_channel_of_descr [Lwt_unix] | |
out_channel_of_unixdescr [Lwt_unix] | |
output_binary_int [Lwt_unix] | |
output_string [Lwt_unix] | |
output_value [Lwt_unix] | |
P | |
pipe [Lwt_unix] | |
R | |
read [Lwt_unix] | |
really_input [Lwt_unix] | |
return [Lwt] | return e is a thread whose return value is the value of
the expression e .
|
run [Lwt_unix] | run t lets the thread t run until it terminates.
|
S | |
set_close_on_exec [Lwt_unix] | |
shutdown [Lwt_unix] | |
sleep [Lwt_unix] | sleep d is a threads which remain suspended for d seconds
(letting other threads run) and then terminates.
|
socket [Lwt_unix] | |
socketpair [Lwt_unix] | |
system [Lwt_unix] | |
T | |
try_bind [Lwt] | try_bind t f g behaves as bind (t ()) f if t does not fail.
|
W | |
wait [Lwt_unix] | |
wait [Lwt] | wait () is a thread which sleeps forever (unless it is
resumed by one of the functions wakeup , wakeup_exn below).
|
waitpid [Lwt_unix] | |
write [Lwt_unix] | |
Y | |
yield [Lwt_unix] | yield () is a threads which suspends itself (letting other
thread run) and then resumes as soon as possible and
terminates.
|