Reactor.MSem

This is a much simpler reimplementation of Einar's old Mutex semaphores. This is a lock which can be required by a thread which is already holding it.

See also TSem.

Documentation

data MSem

Instances

Synchronized MSem

newMSem :: IO MSem

synchronizeWithChoice :: MSem -> (Bool -> IO a) -> IO a