package duppy
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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 ... endInformation used to initialize a Mutex module. * priority and scheduler are used to initialize a task * which treat mutexes as well as conditions from the below * Condition module.
module type Mutex_t = sig ... endmodule Factory (Control : Mutex_control) : Mutex_t