-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A type-class for transforming monads (homomorphism) in a transformer
--   
--   A type-class for transforming monads (homomorphism) in a transformer
@package monadtransform
@version 0.0.2

module Control.Monad.Transform.Class
class MonadTransform t where liftHom = transform (return . runIdentity)
transform :: (MonadTransform t, Monad f, Monad g) => (forall z. f z -> g z) -> t f a -> t g a
liftHom :: (MonadTransform t, Monad g) => t Identity a -> t g a
instance MonadTransform (ErrorT e)
instance MonadTransform ListT
instance MonadTransform MaybeT
instance MonadTransform (RWST r w s)
instance MonadTransform (StateT s)
instance MonadTransform (WriterT w)
instance MonadTransform (ReaderT r)
instance MonadTransform IdentityT