Control.Concurrent.Class.MonadSTM.TBQueue

This module corresponds to TVar in "stm" package

MonadSTM

type family TBQueue m :: Type -> Type

Instances

type TBQueue IO

Defined in Control.Monad.Class.MonadSTM.Internal

type TBQueue IO = TBQueue

type TBQueue (ReaderT r m)

Defined in Control.Monad.Class.MonadSTM.Internal

type TBQueue (ReaderT r m) = TBQueue m

newTBQueue :: MonadSTM m => Natural -> STM m (TBQueue m a)

newTBQueueIO :: MonadSTM m => Natural -> m (TBQueue m a)

readTBQueue :: MonadSTM m => TBQueue m a -> STM m a

tryReadTBQueue :: MonadSTM m => TBQueue m a -> STM m (Maybe a)

peekTBQueue :: MonadSTM m => TBQueue m a -> STM m a

tryPeekTBQueue :: MonadSTM m => TBQueue m a -> STM m (Maybe a)

flushTBQueue :: MonadSTM m => TBQueue m a -> STM m [a]

writeTBQueue :: MonadSTM m => TBQueue m a -> a -> STM m ()

lengthTBQueue :: MonadSTM m => TBQueue m a -> STM m Natural

Since: 0.2.0.0

isEmptyTBQueue :: MonadSTM m => TBQueue m a -> STM m Bool

isFullTBQueue :: MonadSTM m => TBQueue m a -> STM m Bool

unGetTBQueue :: MonadSTM m => TBQueue m a -> a -> STM m ()

MonadLabelledSTM

labelTBQueue :: MonadLabelledSTM m => TBQueue m a -> String -> STM m ()

labelTBQueueIO :: MonadLabelledSTM m => TBQueue m a -> String -> m ()

MonadTraceSTM

traceTBQueue :: MonadTraceSTM m => proxy m -> TBQueue m a -> (Maybe [a] -> [a] -> InspectMonad m TraceValue) -> STM m ()

traceTBQueueIO :: MonadTraceSTM m => TBQueue m a -> (Maybe [a] -> [a] -> InspectMonad m TraceValue) -> m ()