runState -package:effectful-core package:monadology

runState :: State s a -> s -> (a, s)
monadology Control.Monad.Ology.Specific.StateT
Unwrap a state monad computation as a function. (The inverse of state.)
runStateT :: StateT s (m :: Type -> Type) a -> s -> m (a, s)
monadology Control.Monad.Ology.Specific.StateT
refRunState :: Monad m => Ref m s -> StateT s m --> m
monadology Control.Monad.Ology.Data.Ref
Run a state monad over this reference.
dangerousMVarRunStateT :: MVar s -> Unlift MonadIO (StateT s)
monadology Control.Monad.Ology.Specific.StateT
Dangerous, because the MVar won't be released on exception.
mVarRunStateT :: MVar s -> Unlift MonadTunnelIOInner (StateT s)
monadology Control.Monad.Ology.Specific.StateT
Run the StateT on an MVar, taking the initial state and putting the final state.