StateT package:adjunctions

newtype StateT g m a
adjunctions Control.Monad.Representable.State
A state transformer monad parameterized by:
  • g - A representable functor used to memoize results for a state Rep g
  • m - The inner monad.
The return function leaves the state unchanged, while >>= uses the final state of the first computation as the initial state of the second.
StateT :: g (m (a, Rep g)) -> StateT g m a
adjunctions Control.Monad.Representable.State
stateT :: Representable g => (Rep g -> m (a, Rep g)) -> StateT g m a
adjunctions Control.Monad.Representable.State
evalStateT :: (Representable g, Monad m) => StateT g m a -> Rep g -> m a
adjunctions Control.Monad.Representable.State
Evaluate a state computation with the given initial state and return the final value, discarding the final state.
execStateT :: (Representable g, Monad m) => StateT g m a -> Rep g -> m (Rep g)
adjunctions Control.Monad.Representable.State
Evaluate a state computation with the given initial state and return the final state, discarding the final value.
getStateT :: StateT g m a -> g (m (a, Rep g))
adjunctions Control.Monad.Representable.State
mapStateT :: Functor g => (m (a, Rep g) -> n (b, Rep g)) -> StateT g m a -> StateT g n b
adjunctions Control.Monad.Representable.State
runStateT :: Representable g => StateT g m a -> Rep g -> m (a, Rep g)
adjunctions Control.Monad.Representable.State