Module mvar

This module contains an implementation of the MVar synchronization primitive.

Structs

MVar

An MVar is a primitive that combines synchronization and the exchange of a value. Its semantics are analogous to a synchronous channel of size 1: if the MVar is full, then put blocks until it is emptied; if the MVar is empty, then take blocks until it is filled.