Control.Monad.Trans.MSF.State

Contents

• Running and wrapping
• Auxiliary functions
• Alternative running/wrapping MSF combinators using generic lifting

Synopsis

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

Running and wrapping

Auxiliary functions

Alternative running/wrapping MSF combinators using generic lifting