io-classes-1.6.0.0: Type classes for concurrency with STM, ST and timing

Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Concurrent.Class.MonadSTM.TQueue

Contents

MonadSTM
MonadLabelledSTM
MonadTraceSTM

Description

This module corresponds to TQueue in "stm" package

Synopsis

type family TQueue m :: Type -> Type
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
labelTQueue :: MonadLabelledSTM m => TQueue m a -> String -> STM m ()
labelTQueueIO :: MonadLabelledSTM m => TQueue m a -> String -> m ()
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 ()

MonadSTM

type family TQueue m :: Type -> Type Source #

Instances

Instances details

type TQueue IO Source #
Instance details Defined in Control.Monad.Class.MonadSTM.Internal type TQueue IO = TQueue
type TQueue (ReaderT r m) Source #
Instance details Defined in Control.Monad.Class.MonadSTM.Internal type TQueue (ReaderT r m) = TQueue m

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

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

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

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

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

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

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

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

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

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

MonadLabelledSTM

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

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

MonadTraceSTM

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

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