Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bap-future
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
An promise to provide a value in a future.
type 'a t = 'a promiseval fulfill : 'a t -> 'a -> unitfulfill promise will fill a future value associated with a promise and evaluate to unit if promise is not yet fulfilled.
All actions associated with the future will be called in the context of the function calling fulfull.
The fulfill function is not thread-safe, in the sense, that fulfill calls to the same object made from different threads should be serialized. Note: since fulfill should be called once, it is rarely a case.
val is_fulfilled : 'a t -> boolis_fulfilled promise is true if associated promise is already fulfilled