io-classes-1.0.0.1: Type classes for concurrency with STM, ST and timing
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Concurrent.Class.MonadSTM.TSem

Description

This module corresponds to TSem in "stm" package

Synopsis

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

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

MonadTraceSTM

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