Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class Monad m => MonadTest m where
- exploreRaces :: m ()
Documentation
class Monad m => MonadTest m where Source #
A helper monad for IOSimPOR.
Nothing
exploreRaces :: m () Source #
Mark a thread for schedule exploration. All threads that are forked by it are also included in the exploration.
Instances
MonadTest IO Source # | |
Defined in Control.Monad.Class.MonadTest exploreRaces :: IO () Source # | |
MonadTest m => MonadTest (ReaderT e m) Source # | |
Defined in Control.Monad.Class.MonadTest exploreRaces :: ReaderT e m () Source # |