Control.Monad.State.CPS

Documentation

newtype StateT s m a

Constructors

StateT

Fields

unStateT :: forall r. s -> (a -> s -> m r) -> m r

Instances

MonadState s (StateT s m)

MonadTrans (StateT s)

Monad (StateT s m)

Functor (StateT s m)

Applicative (StateT s m)

runStateT :: Monad m => StateT s m a -> s -> m (a, s)

evalStateT :: Monad m => StateT s m a -> s -> m a

execStateT :: Monad m => StateT s m a -> s -> m s

mapStateT :: (Monad m, Monad n) => (m (a, s) -> n (b, s)) -> StateT s m a -> StateT s n b

type State s = StateT s Identity

runState :: State s a -> s -> (a, s)

evalState :: State s a -> s -> a

execState :: State s a -> s -> s