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


-- | Provides a MonadST class
--   
--   Provides a MonadST class
@package monad-st
@version 0.2.4.1


module Control.Monad.ST.Class
class Monad m => MonadST m where {
    type family World m :: *;
}
liftST :: MonadST m => ST (World m) a -> m a
instance Control.Monad.ST.Class.MonadST GHC.Types.IO
instance Control.Monad.ST.Class.MonadST (GHC.ST.ST s)
instance (Control.Monad.Trans.Class.MonadTrans t, Control.Monad.ST.Class.MonadST m, GHC.Base.Monad (t m)) => Control.Monad.ST.Class.MonadST (t m)
