Control.Monad.Class.MonadTimer.SI.Trans

Orphan instances

MonadDelay m => MonadDelay (ExceptT e m)

Methods

threadDelay :: DiffTime -> ExceptT e m ()

MonadDelay m => MonadDelay (StateT s m)

Methods

threadDelay :: DiffTime -> StateT s m ()

(Monoid w, MonadDelay m) => MonadDelay (WriterT w m)

Methods

threadDelay :: DiffTime -> WriterT w m ()

MonadTimer m => MonadTimer (StateT s m)

Methods

registerDelay :: DiffTime -> StateT s m (TVar (StateT s m) Bool)

registerDelayCancellable :: DiffTime -> StateT s m (STM (StateT s m) TimeoutState, StateT s m ())

timeout :: DiffTime -> StateT s m a -> StateT s m (Maybe a)

(Monoid w, MonadTimer m) => MonadTimer (WriterT w m)

Methods

registerDelay :: DiffTime -> WriterT w m (TVar (WriterT w m) Bool)

registerDelayCancellable :: DiffTime -> WriterT w m (STM (WriterT w m) TimeoutState, WriterT w m ())

timeout :: DiffTime -> WriterT w m a -> WriterT w m (Maybe a)

MonadDelay m => MonadDelay (ContT r m)

Methods

threadDelay :: DiffTime -> ContT r m ()

(Monoid w, MonadDelay m) => MonadDelay (RWST r w s m)

Methods

threadDelay :: DiffTime -> RWST r w s m ()

(Monoid w, MonadTimer m) => MonadTimer (RWST r w s m)

Methods

registerDelay :: DiffTime -> RWST r w s m (TVar (RWST r w s m) Bool)

registerDelayCancellable :: DiffTime -> RWST r w s m (STM (RWST r w s m) TimeoutState, RWST r w s m ())

timeout :: DiffTime -> RWST r w s m a -> RWST r w s m (Maybe a)