module Control.Monad.Class.MonadTest (MonadTest (..)) where
import Control.Monad.Reader
class Monad m => MonadTest m where
exploreRaces :: m ()
exploreRaces = () -> m ()
forall a. a -> m a
forall (m :: * -> *) a. Monad m => a -> m a
return ()
instance MonadTest IO
instance MonadTest m => MonadTest (ReaderT e m) where
exploreRaces :: ReaderT e m ()
exploreRaces = m () -> ReaderT e m ()
forall (m :: * -> *) a. Monad m => m a -> ReaderT e m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift m ()
forall (m :: * -> *). MonadTest m => m ()
exploreRaces