| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
Contents | |||||||||||||||||||||||||
Description | |||||||||||||||||||||||||
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. | |||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||
| |||||||||||||||||||||||||
The ST Monad | |||||||||||||||||||||||||
data ST s a | |||||||||||||||||||||||||
| |||||||||||||||||||||||||
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 | |||||||||||||||||||||||||
Produced by Haddock version 0.4 |