Control.Monad.RevState

Documentation

module Control.Monad.RevState.Class

newtype StateT s m a

Constructors

StateT

Fields

• runStateT :: s -> m (a, s)

Instances

MonadFix m => MonadRevState s (StateT s m)

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

MonadFix m => MonadFix (StateT s m)

Defined in Control.Monad.Trans.RevState

Methods

mfix :: (a -> StateT s m a) -> StateT s m a

MonadFix m => Applicative (StateT s m)

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

Functor m => Functor (StateT s m)

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 => Monad (StateT s m)

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

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

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

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

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

execStateT :: Functor m => StateT s m a -> s -> m 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

liftStateT :: Functor m => m a -> StateT s m a