Control.Monad.State.Lens

Documentation

gets :: MonadState α m => ((a -> Const a b) -> α -> Const a α) -> m a

puts :: MonadState α m => Lens α α a b -> b -> m a

state :: MonadState α m => Lens α α a b -> (a -> (c, b)) -> m c

modify :: MonadState α m => Lens α α a b -> (a -> b) -> m a

modifyM :: MonadState α m => Lens α α a b -> (a -> m b) -> m a