Documentation

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

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

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

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

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