Index of values

t >>= f is an alternative notation for bind t f.

Makes all current and further uses of the file descriptor fail with the given exception

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.

catch t f is a thread that behaves as the thread t () if this thread succeeds.

changes the duration of a timeout.

choose l behaves as the first thread in l to terminate.

create n f defines a new timeout with n seconds duration.

create n f creates a new pool with at most n members.

detaches a computation to a preemptive thread.

fail e is a thread that fails with the exception e.

finalize f g returns the same result as f () whether it fails or not.

Similar to List.fold_left.

Returns the size of the waiting queue, if no more threads are available

Cooperative getaddrinfo with cache (using Lwt_preemptive.detach)

Cooperative gethostbyname with cache (using Lwt_preemptive.detach)

Cooperative getnameinfo with cache (using Lwt_preemptive.detach)

ignore_result t start the thread t and ignores its result value if the thread terminates sucessfully.

Should be called only once at the begining of the process.

Are we using an SSL socket?

iter f l start a thread for each element in l.

Similar to iter but wait for one thread to terminate before starting the next one.

join l wait for all threads in l to terminate.

make_in_channel read creates an input channel from the read function.

make_out_channel write creates an output channel from the write function.

make_region sz create a region of size sz.

map f l apply f to each element in l and collect the results of the threads thus created.

Similar to map but wait for one thread to terminate before starting the next one.

map_with_waiting_action f wa l apply f to each element in l and collect the results of the threads thus created.

resize_region reg sz resize the region reg to size sz.

return e is a thread whose return value is the value of the expression e.

run t lets the thread t run until it terminates.

run_in_region reg size f execute the thread produced by the function f in the region reg.

set the default handler for exception occurring after a timeout.

Sets the size of the waiting queue, if no more threads are available

sleep d is a threads which remain suspended for d seconds (letting other threads run) and then terminates.

starts a timeout.

stops a timeout.

try_bind t f g behaves as bind (t ()) f if t does not fail.

use p f takes one free member of the pool p and gives it to the function f.

wait () is a thread which sleeps forever (unless it is resumed by one of the functions wakeup, wakeup_exn below).

waits (without blocking other threads) until there is something to read on the file descriptor

waits (without blocking other threads) until it is possible to write on the file descriptor

wakeup t e makes the sleeping thread t terminate and return the value of the expression e.

wakeup_exn t e makes the sleeping thread t fail with the exception e.

yield () is a threads which suspends itself (letting other thread run) and then resumes as soon as possible and terminates.