lwt

Promises and event-driven I/O
Library lwt.unix
Module Lwt_gc

This module offers a convenient way to add a finaliser launching a thread to a value, without having to use Lwt_unix.run in the finaliser.

val finalise : ( 'a -> unit Lwt.t ) -> 'a -> unit

finalise f x ensures f x is evaluated after x has been garbage collected. If f x yields, then Lwt will wait for its termination at the end of the program.

Note that f x is not called at garbage collection time, but later in the main loop.

val finalise_or_exit : ( 'a -> unit Lwt.t ) -> 'a -> unit

finalise_or_exit f x call f x when x is garbage collected or (exclusively) when the program exits.