io-classes-1.5.0.0: Type classes for concurrency with STM, ST and timing

Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Concurrent.Class.MonadSTM.TMVar

Contents

MonadSTM
MonadLabelledSTM
MonadTraceSTM

Description

This module corresponds to TMVar in "stm" package

Synopsis

type family TMVar m :: Type -> Type
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
writeTMVar :: MonadSTM m => TMVar m a -> a -> STM m ()
isEmptyTMVar :: MonadSTM m => TMVar m a -> STM m Bool
labelTMVar :: MonadLabelledSTM m => TMVar m a -> String -> STM m ()
labelTMVarIO :: MonadLabelledSTM m => TMVar m a -> String -> m ()
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 ()

MonadSTM

type family TMVar m :: Type -> Type Source #

Instances

Instances details

type TMVar IO Source #
Instance details Defined in Control.Monad.Class.MonadSTM.Internal type TMVar IO = TMVar
type TMVar (ReaderT r m) Source #
Instance details Defined in Control.Monad.Class.MonadSTM.Internal type TMVar (ReaderT r m) = TMVar m

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

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

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

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

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

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

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

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

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

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

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

writeTMVar :: MonadSTM m => TMVar m a -> a -> STM m () Source #

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

MonadLabelledSTM

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

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

MonadTraceSTM

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

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