1 -- This file is understood to be in the public domain. 2 3 module MonadTrans where 4 5 6 {- 7 - This provides a way of accessing a monad that is inside 8 - another monad. 9 -} 10 11 class MonadTrans t where 12 lift :: Monad m => m a -> t m a 13 14 --liftTrans :: (MonadTrans t) => (a -> t m b) -> (t m a -> t m b) 15 --liftTrans f m = do { a <- m ; f a }