Control.Concurrent.STM.TMVar.Extras

Documentation

forceSwapTMVar :: TMVar a -> a -> STM (Maybe a)

Non-blocking swap of TMVar irreguardless if it previously contained a value or not. Returns what was in the TMVar (if exists)

waitTillEmptyTMVar :: TMVar a -> a -> STM ()

Block until TMVar is empty. The argument a is used to try to put into TMVar, but is taken out again in the same transaction

waitTillFullTMVar :: TMVar a -> STM ()

Block until TMVar is full.