io-classes-1.4.1.0: Type classes for concurrency with STM, ST and timing

Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Concurrent.Class.MonadSTM.TSem

Contents

MonadSTM
MonadLabelledSTM
MonadTraceSTM

Description

This module corresponds to TSem in "stm" package

Synopsis

type family TSem m :: Type
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 ()
labelTSem :: MonadLabelledSTM m => TSem m -> String -> STM m ()
labelTSemIO :: MonadLabelledSTM m => TSem m -> String -> m ()
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 ()

MonadSTM

type family TSem m :: Type Source #

Instances

Instances details

type TSem IO Source #
Instance details Defined in Control.Monad.Class.MonadSTM.Internal type TSem IO = TSem
type TSem (ReaderT r m) Source #
Instance details Defined in Control.Monad.Class.MonadSTM.Internal type TSem (ReaderT r m) = TSem m

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

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

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

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

MonadLabelledSTM

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

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

MonadTraceSTM

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

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