runST package:base

runST :: (forall s . () => ST s a) -> a

base Control.Monad.ST Control.Monad.ST.Safe GHC.ST

Return the value computed by a state thread. The forall ensures that the internal state used by the ST computation is inaccessible to the rest of the program.

runST :: (forall s . () => ST s a) -> a

base Control.Monad.ST.Lazy Control.Monad.ST.Lazy.Safe

Return the value computed by an ST computation. The forall ensures that the internal state used by the ST computation is inaccessible to the rest of the program.