Control.Concurrent.Class.MonadSTM.Strict.TQueue

This module corresponds to TQueue in "stm" package

MonadSTM

data StrictTQueue m a

type LazyTQueue m = TQueue m

toLazyTQueue :: StrictTQueue m a -> LazyTQueue m a

fromLazyTQueue :: LazyTQueue m a -> StrictTQueue m a

castStrictTQueue :: LazyTQueue m ~ LazyTQueue n => StrictTQueue m a -> StrictTQueue n a

newTQueue :: MonadSTM m => STM m (StrictTQueue m a)

newTQueueIO :: MonadSTM m => m (StrictTQueue m a)

readTQueue :: MonadSTM m => StrictTQueue m a -> STM m a

tryReadTQueue :: MonadSTM m => StrictTQueue m a -> STM m (Maybe a)

peekTQueue :: MonadSTM m => StrictTQueue m a -> STM m a

tryPeekTQueue :: MonadSTM m => StrictTQueue m a -> STM m (Maybe a)

flushTQueue :: MonadSTM m => StrictTQueue m a -> STM m [a]

writeTQueue :: MonadSTM m => StrictTQueue m a -> a -> STM m ()

unGetTQueue :: MonadSTM m => StrictTQueue m a -> a -> STM m ()

isEmptyTQueue :: MonadSTM m => StrictTQueue m a -> STM m Bool

MonadLabelledSTM

labelTQueue :: MonadLabelledSTM m => StrictTQueue m a -> String -> STM m ()

labelTQueueIO :: MonadLabelledSTM m => StrictTQueue m a -> String -> m ()

MonadTraceSTM

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

traceTQueueIO :: MonadTraceSTM m => StrictTQueue m a -> (Maybe [a] -> [a] -> InspectMonad m TraceValue) -> m ()