| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Control.Concurrent.Class.MonadSTM.Strict.TMVar
Description
This module corresponds to TMVar in "stm" package
Synopsis
- data StrictTMVar m a
- 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
- labelTMVar :: MonadLabelledSTM m => StrictTMVar m a -> String -> STM m ()
- labelTMVarIO :: MonadLabelledSTM m => StrictTMVar m a -> String -> m ()
- 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 ()
StrictTMVar
data StrictTMVar m a #
TMVar that keeps its value in WHNF at all times
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 () #