-- Stability : experimental
-- Portability : non-portable (requires universal quantification for runST)
--
--- The State Transformer Monad, ST
+-- This library provides support for /strict/ state threads, as
+-- described in the PLDI \'94 paper by John Launchbury and Simon Peyton
+-- Jones /Lazy State Threads/.
--
-----------------------------------------------------------------------------
module Control.Monad.ST
- (
- ST -- abstract, instance of Functor, Monad, Typeable.
- , runST -- :: (forall s. ST s a) -> a
- , fixST -- :: (a -> ST s a) -> ST s a
- , unsafeInterleaveST -- :: ST s a -> ST s a
+ (
+ -- * The 'ST' Monad
+ ST, -- abstract, instance of Functor, Monad, Typeable.
+ runST, -- :: (forall s. ST s a) -> a
+ fixST, -- :: (a -> ST s a) -> ST s a
- , unsafeIOToST -- :: IO a -> ST s a
+ -- * Converting 'ST' to 'IO'
+ RealWorld, -- abstract
+ stToIO, -- :: ST RealWorld a -> IO a
- , RealWorld -- abstract
- , stToIO -- :: ST RealWorld a -> IO a
+ -- * Unsafe operations
+ unsafeInterleaveST, -- :: ST s a -> ST s a
+ unsafeIOToST -- :: IO a -> ST s a
) where
import Prelude
import Control.Monad.Fix
-import Data.Dynamic
+import Data.Typeable
+
+#ifdef __HUGS__
+import Hugs.ST
+import qualified Hugs.LazyST as LazyST
+
+fixST :: (a -> ST s a) -> ST s a
+fixST f = LazyST.lazyToStrictST (LazyST.fixST (LazyST.strictToLazyST . f))
+
+unsafeInterleaveST :: ST s a -> ST s a
+unsafeInterleaveST =
+ LazyST.lazyToStrictST . LazyST.unsafeInterleaveST . LazyST.strictToLazyST
+#endif
#ifdef __GLASGOW_HASKELL__
import GHC.ST