(Monad (t m), MonadTrans t, MonadBase b m) => MonadBase b (Elevator t m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Elevator |
(Monad (t m), MonadTransControl t, MonadBaseControl b m) => MonadBaseControl b (Elevator t m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Elevator |
(Monad (t m), MonadTransControl t, MonadWriter w m) => MonadWriter w (Elevator t m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Elevator |
(Monad (t m), MonadTrans t, MonadState s m) => MonadState s (Elevator t m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Elevator |
(Monad (t m), MonadTransControl t, MonadReader r m) => MonadReader r (Elevator t m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Elevator |
(Monad (t m), MonadTransControl t, MonadError e m) => MonadError e (Elevator t m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Elevator |
Monad (t m) => Monad (Elevator t m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Elevator |
Functor (t m) => Functor (Elevator t m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Elevator |
Applicative (t m) => Applicative (Elevator t m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Elevator |
(Monad (t m), MonadTrans t, MonadIO m) => MonadIO (Elevator t m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Elevator |
type StM (Elevator t m) a Source # | |
Instance detailsDefined in Control.Monad.Trans.Elevator |