Control.Concurrent.Class.MonadSTM.Strict.TMVar

This module corresponds to TMVar in "stm" package

StrictTMVar

data StrictTMVar m a

TMVar that keeps its value in WHNF at all times

type LazyTMVar m = TMVar m

toLazyTMVar :: StrictTMVar m a -> LazyTMVar m a

fromLazyTMVar :: LazyTMVar m a -> StrictTMVar m a

castStrictTMVar :: LazyTMVar m ~ LazyTMVar n => StrictTMVar m a -> StrictTMVar n a

newTMVar :: MonadSTM m => a -> STM m (StrictTMVar m a)

newEmptyTMVar :: MonadSTM m => STM m (StrictTMVar m a)

newTMVarIO :: MonadSTM m => a -> m (StrictTMVar m a)

newEmptyTMVarIO :: MonadSTM m => m (StrictTMVar m a)

takeTMVar :: MonadSTM m => StrictTMVar m a -> STM m a

tryTakeTMVar :: MonadSTM m => StrictTMVar m a -> STM m (Maybe a)

putTMVar :: MonadSTM m => StrictTMVar m a -> a -> STM m ()

tryPutTMVar :: MonadSTM m => StrictTMVar m a -> a -> STM m Bool

readTMVar :: MonadSTM m => StrictTMVar m a -> STM m a

tryReadTMVar :: MonadSTM m => StrictTMVar m a -> STM m (Maybe a)

swapTMVar :: MonadSTM m => StrictTMVar m a -> a -> STM m a

writeTMVar :: MonadSTM m => StrictTMVar m a -> a -> STM m ()

isEmptyTMVar :: MonadSTM m => StrictTMVar m a -> STM m Bool

MonadLabelledSTM

labelTMVar :: MonadLabelledSTM m => StrictTMVar m a -> String -> STM m ()

labelTMVarIO :: MonadLabelledSTM m => StrictTMVar m a -> String -> m ()

MonadTraceSTM

traceTMVar :: MonadTraceSTM m => proxy m -> StrictTMVar m a -> (Maybe (Maybe a) -> Maybe a -> InspectMonad m TraceValue) -> STM m ()

traceTMVarIO :: MonadTraceSTM m => StrictTMVar m a -> (Maybe (Maybe a) -> Maybe a -> InspectMonad m TraceValue) -> m ()