Safe Haskell	Safe
Language	Haskell98

Control.Monad.RevState

Documentation

newtype StateT s m a #

Constructors

StateT
Fields runStateT :: s -> m (a, s)

Instances

MonadFix m => MonadRevState s (StateT s m) #
Instance details Defined in Control.Monad.RevState.Class Methods get :: StateT s m s # put :: s -> StateT s m () # state :: (s -> (a, s)) -> StateT s m a #
MonadTrans (StateT s) #
Instance details Defined in Control.Monad.Trans.RevState Methods lift :: Monad m => m a -> StateT s m a #
MonadFix m => Monad (StateT s m) #
Instance details Defined in Control.Monad.Trans.RevState Methods (>>=) :: StateT s m a -> (a -> StateT s m b) -> StateT s m b # (>>) :: StateT s m a -> StateT s m b -> StateT s m b # return :: a -> StateT s m a # fail :: String -> StateT s m a #
Functor m => Functor (StateT s m) #
Instance details Defined in Control.Monad.Trans.RevState Methods fmap :: (a -> b) -> StateT s m a -> StateT s m b # (<$) :: a -> StateT s m b -> StateT s m a #
MonadFix m => MonadFix (StateT s m) #
Instance details Defined in Control.Monad.Trans.RevState Methods mfix :: (a -> StateT s m a) -> StateT s m a #
MonadFix m => Applicative (StateT s m) #
Instance details Defined in Control.Monad.Trans.RevState Methods pure :: a -> StateT s m a # (<>) :: StateT s m (a -> b) -> StateT s m a -> StateT s m b # liftA2 :: (a -> b -> c) -> StateT s m a -> StateT s m b -> StateT s m c # (>) :: StateT s m a -> StateT s m b -> StateT s m b # (<*) :: StateT s m a -> StateT s m b -> StateT s m a #

evalStateT :: Functor m => StateT s m a -> s -> m a #

execStateT :: Functor m => StateT s m a -> s -> m s #

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

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

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

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

withStateT :: (s -> s) -> StateT s m a -> StateT s m a #

mapState :: ((a, s) -> (b, s)) -> State s a -> State s b #

withState :: (s -> s) -> State s a -> State s a #