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

Control.Monad.Class.MonadTest

Synopsis

Documentation

class Monad m => MonadTest m where Source #

A helper monad for IOSimPOR.

Minimal complete definition

Nothing

Methods

exploreRaces :: m () Source #

mark a thread for schedule exploration. All threads that are forked by it are also included in the exploration.

Instances

Instances details
MonadTest IO Source # 
Instance details

Defined in Control.Monad.Class.MonadTest

Methods

exploreRaces :: IO () Source #

MonadTest m => MonadTest (ReaderT e m) Source # 
Instance details

Defined in Control.Monad.Class.MonadTest

Methods

exploreRaces :: ReaderT e m () Source #