Control.Monad.Trans.MSF.State

Running and wrapping

stateS :: Monad m => MSF m (s, a) (s, b) -> MSF (StateT s m) a b

runStateS :: Monad m => MSF (StateT s m) a b -> MSF m (s, a) (s, b)

Auxiliary functions

runStateS_ :: Monad m => MSF (StateT s m) a b -> s -> MSF m a (s, b)

runStateS__ :: Monad m => MSF (StateT s m) a b -> s -> MSF m a b

runStateS''' :: (Functor m, Monad m) => MSF (StateT s m) a b -> MSF m (s, a) (s, b)

Alternative running/wrapping MSF combinators using generic lifting

stateS' :: (Functor m, Monad m) => MSF m (s, a) (s, b) -> MSF (StateT s m) a b

runStateS' :: (Functor m, Monad m) => MSF (StateT s m) a b -> MSF m (s, a) (s, b)

runStateS'' :: (Functor m, Monad m) => MSF (StateT s m) a b -> MSF m (s, a) (s, b)

module Control.Monad.Trans.State.Strict