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 #

Constructors

TQueue (TVar m ([a], [a]))

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 #

data TBQueueDefault m a Source #

Constructors

TBQueue !(TVar m ([a], Natural, [a], Natural)) !Natural

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 #