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