Control.Concurrent.Class.MonadSTM.TMVar

This module corresponds to TMVar in "stm" package

MonadSTM

type family TMVar m :: Type -> Type

Instances

type TMVar IO

Defined in Control.Monad.Class.MonadSTM.Internal

type TMVar IO = TMVar

type TMVar (ReaderT r m)

Defined in Control.Monad.Class.MonadSTM.Internal

type TMVar (ReaderT r m) = TMVar m

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

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

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

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

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

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

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

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

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

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

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

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

MonadLabelledSTM

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

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

MonadTraceSTM

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

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