Gamgine.Lens.State

Documentation

getL :: Monad m => Lens a b -> StateT a m b

apply the getter lens on the value of the state

setL :: Monad m => Lens a b -> b -> StateT a m ()

apply the setter of the lens on the value of the state

modL :: Monad m => Lens a b -> (b -> b) -> StateT a m ()

modify the value of the state with a lens