Control.Monad.State.Strict
data State s a
evalState
execState
mapState
withState
data StateT s m a
evalStateT
execStateT
mapStateT
withStateT