rmonad-0.8: Restricted monad library
Control.RMonad.Trans
class RMonadTrans t whereSource
Methods
lift :: (RMonad m, Suitable m a, Suitable (t m) a) => m a -> t m aSource
Instances
class RMonad m => RMonadIO m whereSource
liftIO :: Suitable m a => IO a -> m aSource