Control.Concurrent.Class.MonadSTM.Strict.TBQueue

This module corresponds to TBQueue in "stm" package

MonadSTM

data StrictTBQueue m a

type LazyTBQueue m = TBQueue m

toLazyTBQueue :: StrictTBQueue m a -> LazyTBQueue m a

fromLazyTBQueue :: LazyTBQueue m a -> StrictTBQueue m a

castStrictTBQueue :: LazyTBQueue m ~ LazyTBQueue n => StrictTBQueue m a -> StrictTBQueue n a

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

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

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

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

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

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

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

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

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

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

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

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

MonadLabelledSTM

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

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

MonadTraceSTM

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

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