Safe Haskell | None |
---|---|
Language | Haskell2010 |
Control.Monad.IOSim.STM
Description
'io-sim' implementation of TQueue
and TBQueue
. Unlike the default
implementation available in 'io-classes' they are using a single TVar
,
which simplifies the implementation of traceTQueue
and traceTBQueue
methods.
Documentation
newtype TQueueDefault m a Source #
labelTQueueDefault ∷ MonadLabelledSTM m ⇒ TQueueDefault m a → String → STM m () Source #
traceTQueueDefault ∷ MonadTraceSTM m ⇒ proxy m → TQueueDefault m a → (Maybe [a] → [a] → InspectMonad m TraceValue) → STM m () Source #
newTQueueDefault ∷ MonadSTM m ⇒ STM m (TQueueDefault m a) Source #
writeTQueueDefault ∷ MonadSTM m ⇒ TQueueDefault m a → a → STM m () Source #
readTQueueDefault ∷ MonadSTM m ⇒ TQueueDefault m a → STM m a Source #
tryReadTQueueDefault ∷ MonadSTM m ⇒ TQueueDefault m a → STM m (Maybe a) Source #
isEmptyTQueueDefault ∷ MonadSTM m ⇒ TQueueDefault m a → STM m Bool Source #
peekTQueueDefault ∷ MonadSTM m ⇒ TQueueDefault m a → STM m a Source #
tryPeekTQueueDefault ∷ MonadSTM m ⇒ TQueueDefault m a → STM m (Maybe a) Source #
labelTBQueueDefault ∷ MonadLabelledSTM m ⇒ TBQueueDefault m a → String → STM m () Source #
traceTBQueueDefault ∷ MonadTraceSTM m ⇒ proxy m → TBQueueDefault m a → (Maybe [a] → [a] → InspectMonad m TraceValue) → STM m () Source #
newTBQueueDefault ∷ MonadSTM m ⇒ Natural → STM m (TBQueueDefault m a) Source #
readTBQueueDefault ∷ MonadSTM m ⇒ TBQueueDefault m a → STM m a Source #
tryReadTBQueueDefault ∷ MonadSTM m ⇒ TBQueueDefault m a → STM m (Maybe a) Source #
peekTBQueueDefault ∷ MonadSTM m ⇒ TBQueueDefault m a → STM m a Source #
tryPeekTBQueueDefault ∷ MonadSTM m ⇒ TBQueueDefault m a → STM m (Maybe a) Source #
writeTBQueueDefault ∷ MonadSTM m ⇒ TBQueueDefault m a → a → STM m () Source #
isEmptyTBQueueDefault ∷ MonadSTM m ⇒ TBQueueDefault m a → STM m Bool Source #
isFullTBQueueDefault ∷ MonadSTM m ⇒ TBQueueDefault m a → STM m Bool Source #
lengthTBQueueDefault ∷ MonadSTM m ⇒ TBQueueDefault m a → STM m Natural Source #
flushTBQueueDefault ∷ MonadSTM m ⇒ TBQueueDefault m a → STM m [a] Source #