Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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
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 #