Control.Concurrent.Class.MonadSTM.TSem

This module corresponds to TSem in "stm" package

MonadSTM

type family TSem m :: Type

Instances

type TSem IO

Defined in Control.Monad.Class.MonadSTM.Internal

type TSem IO = TSem

type TSem (ReaderT r m)

Defined in Control.Monad.Class.MonadSTM.Internal

type TSem (ReaderT r m) = TSem m

newTSem :: MonadSTM m => Integer -> STM m (TSem m)

waitTSem :: MonadSTM m => TSem m -> STM m ()

signalTSem :: MonadSTM m => TSem m -> STM m ()

signalTSemN :: MonadSTM m => Natural -> TSem m -> STM m ()

MonadLabelledSTM

labelTSem :: MonadLabelledSTM m => TSem m -> String -> STM m ()

labelTSemIO :: MonadLabelledSTM m => TSem m -> String -> m ()

MonadTraceSTM

traceTSem :: MonadTraceSTM m => proxy m -> TSem m -> (Maybe Integer -> Integer -> InspectMonad m TraceValue) -> STM m ()

traceTSemIO :: MonadTraceSTM m => TSem m -> (Maybe Integer -> Integer -> InspectMonad m TraceValue) -> m ()