Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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
MonadLabelledSTM
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 #