io-classes
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Monad.Class.MonadTest

Synopsis

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

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 #