| |||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||
| Description | |||||||||||||||||||||||||||||
| The ST Monad. | |||||||||||||||||||||||||||||
| newtype ST s a | |||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||
| type STRep s a = State# s -> (#State# s, a#) | |||||||||||||||||||||||||||||
| data STret s a | |||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||
| liftST :: ST s a -> State# s -> STret s a | |||||||||||||||||||||||||||||
| unsafeInterleaveST :: ST s a -> ST s a | |||||||||||||||||||||||||||||
| fixST :: (a -> ST s a) -> ST s a | |||||||||||||||||||||||||||||
| runST :: (forall s . ST s a) -> a | |||||||||||||||||||||||||||||
| runSTRep :: (forall s . STRep s a) -> a | |||||||||||||||||||||||||||||
| Produced by Haddock version 0.4 |