| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Control.Concurrent.Class.MonadSTM.Strict.TBQueue
Description
This module corresponds to TBQueue in "stm" package
Synopsis
- data StrictTBQueue (m :: Type -> Type) a
- type LazyTBQueue (m :: Type -> Type) = TBQueue m
- toLazyTBQueue :: StrictTBQueue m a -> LazyTBQueue m a
- fromLazyTBQueue :: forall (m :: Type -> Type) a. LazyTBQueue m a -> StrictTBQueue m a
- castStrictTBQueue :: forall (m :: Type -> Type) (n :: Type -> Type) a. LazyTBQueue m ~ LazyTBQueue n => StrictTBQueue m a -> StrictTBQueue n a
- newTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => Natural -> STM m (StrictTBQueue m a)
- newTBQueueIO :: MonadSTM m => Natural -> m (StrictTBQueue m a)
- readTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> STM m a
- tryReadTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> STM m (Maybe a)
- peekTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> STM m a
- tryPeekTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> STM m (Maybe a)
- flushTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> STM m [a]
- writeTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> a -> STM m ()
- lengthTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> STM m Natural
- isEmptyTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> STM m Bool
- isFullTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> STM m Bool
- unGetTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> a -> STM m ()
- labelTBQueue :: forall (m :: Type -> Type) a. MonadLabelledSTM m => StrictTBQueue m a -> String -> STM m ()
- labelTBQueueIO :: MonadLabelledSTM m => StrictTBQueue m a -> String -> m ()
- traceTBQueue :: forall (m :: Type -> Type) proxy a. MonadTraceSTM m => proxy m -> StrictTBQueue m a -> (Maybe [a] -> [a] -> InspectMonadSTM m TraceValue) -> STM m ()
- traceTBQueueIO :: MonadTraceSTM m => StrictTBQueue m a -> (Maybe [a] -> [a] -> InspectMonadSTM m TraceValue) -> m ()
MonadSTM
data StrictTBQueue (m :: Type -> Type) a Source #
toLazyTBQueue :: StrictTBQueue m a -> LazyTBQueue m a Source #
fromLazyTBQueue :: forall (m :: Type -> Type) a. LazyTBQueue m a -> StrictTBQueue m a Source #
castStrictTBQueue :: forall (m :: Type -> Type) (n :: Type -> Type) a. LazyTBQueue m ~ LazyTBQueue n => StrictTBQueue m a -> StrictTBQueue n a Source #
newTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => Natural -> STM m (StrictTBQueue m a) Source #
newTBQueueIO :: MonadSTM m => Natural -> m (StrictTBQueue m a) Source #
readTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> STM m a Source #
tryReadTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> STM m (Maybe a) Source #
peekTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> STM m a Source #
tryPeekTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> STM m (Maybe a) Source #
flushTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> STM m [a] Source #
writeTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> a -> STM m () Source #
lengthTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> STM m Natural Source #
isEmptyTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> STM m Bool Source #
isFullTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> STM m Bool Source #
unGetTBQueue :: forall (m :: Type -> Type) a. MonadSTM m => StrictTBQueue m a -> a -> STM m () Source #
MonadLabelledSTM
labelTBQueue :: forall (m :: Type -> Type) a. MonadLabelledSTM m => StrictTBQueue m a -> String -> STM m () Source #
labelTBQueueIO :: MonadLabelledSTM m => StrictTBQueue m a -> String -> m () Source #
MonadTraceSTM
traceTBQueue :: forall (m :: Type -> Type) proxy a. MonadTraceSTM m => proxy m -> StrictTBQueue m a -> (Maybe [a] -> [a] -> InspectMonadSTM m TraceValue) -> STM m () Source #
traceTBQueueIO :: MonadTraceSTM m => StrictTBQueue m a -> (Maybe [a] -> [a] -> InspectMonadSTM m TraceValue) -> m () Source #