Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Concurrency monad.
module type THREAD_LOCAL_STATE = sig ... end
Thread local state.
module type THREAD = sig ... end
The THREAD monad.
Identity concurrency monad. Note that Id.mutex
is a dummy type that * doesn't actually work like a mutex (i.e., Id.with_lock m f
is equivalent * to f ()
. This is so because in ocaml-sqlexpr's context Sqlite
handles * can only be used from the thread where they were created, so there's no * need for mutual exclusion because trying to use the same handle from * different threads would be an error anyway.