io-classes-1.4.0.0: Type classes for concurrency with STM, ST and timing
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Concurrent.Class.MonadSTM.TBQueue

Description

This module corresponds to TVar in "stm" package

Synopsis

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 (ReaderT r m) Source # 
Instance details

Defined in Control.Monad.Class.MonadSTM.Internal

type TBQueue (ReaderT r m) = TBQueue m

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

peekTBQueue :: MonadSTM m => TBQueue m a -> STM m 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

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

MonadLabelledSTM

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 #