Enter your search terms GNU-Darwin Web Submit search form

> Haskell Core Libraries (base package) Parent Contents Index Control.Monad.ST.Lazy Portability non-portable (requires universal quantification for runST) Stability provisional Maintainer libraries@haskell.org Contents The ST monad Unsafe operations Converting ST To IO Converting between strict and lazy ST Description This module presents an identical interface to Control.Monad.ST, but the underlying implementation of the state thread is lazy (in the sense that (_|_ >> a is not necessarily equal to _|_). Synopsis data ST s a runST :: (forall s . ST s a) -> a fixST :: (a -> ST s a) -> ST s a unsafeInterleaveST :: ST s a -> ST s a unsafeIOToST :: IO a -> ST s a stToIO :: ST RealWorld a -> IO a strictToLazyST :: ST s a -> ST s a lazyToStrictST :: ST s a -> ST s a The ST monad data ST s a Instances Functor (ST s) Monad (ST s) runST :: (forall s . ST s a) -> a fixST :: (a -> ST s a) -> ST s a Unsafe operations unsafeInterleaveST :: ST s a -> ST s a unsafeIOToST :: IO a -> ST s a Converting ST To IO stToIO :: ST RealWorld a -> IO a Converting between strict and lazy ST strictToLazyST :: ST s a -> ST s a Convert a strict ST computation into a lazy one. The strict state thread passed to strictToLazyST is not performed until the result of the lazy state thread it returns is demanded. lazyToStrictST :: ST s a -> ST s a Convert a lazy ST computation into a strict one. Produced by Haddock version 0.4