Moduleio-classes-1.8.0.1
Control.Monad.Class.MonadSTM
- 1 type
- 4 classes
- 1 value
- Packageio-classes-1.8.0.1
- Exports9
- LicenceApache-2.0
Associated types
type family InspectMonadSTM (m :: Type -> Type) :: Type -> Type
Methods
inspectTVar :: proxy m -> TVar m a -> InspectMonadSTM m ainspectTMVar :: proxy m -> TMVar m a -> InspectMonadSTM m (Maybe a)
Instances2MonadInspectSTM
MonadInspectSTM IODefined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.InternalMonadInspectSTM m => MonadInspectSTM (ReaderT r m)Defined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.Internal
Instances1MonadLabelledSTM
MonadLabelledSTM IODefined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.Internal
Methods
traceTVar :: proxy m -> TVar m a -> (Maybe a -> a -> InspectMonadSTM m TraceValue) -> STM m ()traceTMVar :: proxy m -> TMVar m a -> (Maybe (Maybe a) -> Maybe a -> InspectMonadSTM m TraceValue) -> STM m ()traceTQueue :: proxy m -> TQueue m a -> (Maybe [a] -> [a] -> InspectMonadSTM m TraceValue) -> STM m ()traceTBQueue :: proxy m -> TBQueue m a -> (Maybe [a] -> [a] -> InspectMonadSTM m TraceValue) -> STM m ()traceTSem :: proxy m -> TSem m -> (Maybe Integer -> Integer -> InspectMonadSTM m TraceValue) -> STM m ()traceTVarIO :: TVar m a -> (Maybe a -> a -> InspectMonadSTM m TraceValue) -> m ()traceTMVarIO :: TMVar m a -> (Maybe (Maybe a) -> Maybe a -> InspectMonadSTM m TraceValue) -> m ()traceTQueueIO :: TQueue m a -> (Maybe [a] -> [a] -> InspectMonadSTM m TraceValue) -> m ()traceTBQueueIO :: TBQueue m a -> (Maybe [a] -> [a] -> InspectMonadSTM m TraceValue) -> m ()traceTSemIO :: TSem m -> (Maybe Integer -> Integer -> InspectMonadSTM m TraceValue) -> m ()
Instances2MonadTraceSTM
MonadTraceSTM IODefined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.InternalMonadTraceSTM m => MonadTraceSTM (ReaderT r m)Defined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.Internal
Constructors
TraceValue :: Typeable tr => Maybe tr -> Maybe String -> TraceValuetraceDynamic :: Maybe trtraceString :: Maybe String