runST is:exact

runST :: (forall s . () => ST s a) -> a
base Control.Monad.ST Control.Monad.ST.Safe GHC.ST, protolude Protolude, rio RIO.Prelude, base-prelude BasePrelude, ghc-internal GHC.Internal.Control.Monad.ST GHC.Internal.Control.Monad.ST.Imp GHC.Internal.ST, rebase Rebase.Prelude, flat Data.FloatCast, massiv-test Test.Massiv.Utils
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, ghc-internal GHC.Internal.Control.Monad.ST.Lazy GHC.Internal.Control.Monad.ST.Lazy.Imp
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.
runSt :: s2 -> IOSLA (s1, s2) b c -> IOSLA s1 b c
hxt Control.Arrow.IOStateListArrow
run an arrow with augmented state in the context of a simple state arrow. An initial value for the new state component is needed. This is useful, when running an arrow with an extra environment component, e.g. for namespace handling in XML.
runST :: Monad m => (forall s . STT s m a) -> m a
STMonadTrans Control.Monad.ST.Trans
Deprecated: Use runSTT instead
runST :: () => (forall s . () => ST s a) -> a
pvar Data.Primitive.PVar
Return the value computed by a state transformer computation. 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
open-witness Data.OpenWitness.ST