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

Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Concurrent.Class.MonadSTM.TBQueue

Contents

MonadSTM
MonadLabelledSTM
MonadTraceSTM

Description

This module corresponds to TVar in "stm" package

Synopsis

type family TBQueue m :: Type -> Type
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
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 ()
labelTBQueue :: MonadLabelledSTM m => TBQueue m a -> String -> STM m ()
labelTBQueueIO :: MonadLabelledSTM m => TBQueue m a -> String -> m ()
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 ()

MonadSTM

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

Instances

Instances details

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

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

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

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

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

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

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

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

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

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

Since: 0.2.0.0

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

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

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

MonadLabelledSTM

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

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

MonadTraceSTM

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

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