Control.Concurrent.Class.MonadSTM.TQueue

This module corresponds to TVar in "stm" package

MonadSTM

type family TQueue m :: Type -> Type

Instances

type TQueue IO

Defined in Control.Monad.Class.MonadSTM.Internal

type TQueue IO = TQueue

type TQueue (ReaderT r m)

Defined in Control.Monad.Class.MonadSTM.Internal

type TQueue (ReaderT r m) = TQueue m

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

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

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

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

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

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

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

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

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

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

MonadLabelledSTM

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

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

MonadTraceSTM

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

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