| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| 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 |