Module Duppy.Monad.Mutex

module Mutex: sig .. end

This module implements monadic mutex computations. They can be used to write blocking code that is compatible with duppy's tasks, i.e. Mutex.lock m blocks the calling computation and not the calling thread.

module type Mutex_control = sig .. end

Information used to initialize a Mutex module.

module type Mutex_t = sig .. end

module Factory: functor (Control : Mutex_control) -> Mutex_t