| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Control.Monad.Class.MonadTest
Synopsis
- class Monad m => MonadTest (m :: Type -> Type) where
- exploreRaces :: m ()
Documentation
class Monad m => MonadTest (m :: Type -> Type) 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
| MonadTest IO Source # | |
Defined in Control.Monad.Class.MonadTest Methods exploreRaces :: IO () Source # | |
| MonadTest m => MonadTest (ReaderT e m) Source # | |
Defined in Control.Monad.Class.MonadTest Methods exploreRaces :: ReaderT e m () Source # | |