Control.Concurrent.Class.MonadSTM.TMVar · io-classes-1.8.0.1

valuedebugTraceTMVar

valuedebugTraceTMVarIO :: (Show a, MonadTraceSTM m) => TMVar m a -> m ()

methodlabelTMVar :: TMVar m a -> String -> STM m ()

methodlabelTMVarIO :: TMVar m a -> String -> m ()

familytype family TMVar (m :: Type -> Type) :: Type -> Type

Instances2TMVar

type TMVar IO = TMVarDefined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.Internal
type TMVar (ReaderT r m) = TMVar mDefined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.Internal

methodisEmptyTMVar :: TMVar m a -> STM m Bool

methodnewEmptyTMVar :: STM m (TMVar m a)

methodnewEmptyTMVarIO :: m (TMVar m a)

methodnewTMVar :: a -> STM m (TMVar m a)

methodnewTMVarIO :: a -> m (TMVar m a)

methodputTMVar :: TMVar m a -> a -> STM m ()

methodreadTMVar :: TMVar m a -> STM m a

methodswapTMVar :: TMVar m a -> a -> STM m a

methodtakeTMVar :: TMVar m a -> STM m a

methodtryPutTMVar :: TMVar m a -> a -> STM m Bool

methodtryReadTMVar :: TMVar m a -> STM m (Maybe a)

methodtryTakeTMVar :: TMVar m a -> STM m (Maybe a)

methodwriteTMVar :: TMVar m a -> a -> STM m ()

methodtraceTMVar

methodtraceTMVarIO