- module Data.Lens.Common
- access :: MonadState a m => Lens a b -> m b
- (~=), (!=) :: MonadState a m => Lens a b -> b -> m b
- (%=), (!%=) :: MonadState a m => Lens a b -> (b -> b) -> m b
- (%%=), (!%%=) :: MonadState a m => Lens a b -> (b -> (c, b)) -> m c
- (+=), (!*=), (*=), (!-=), (-=), (!+=) :: (MonadState a m, Num b) => Lens a b -> b -> m b
- (//=), (!/=) :: (MonadState a m, Fractional b) => Lens a b -> b -> m b
- (&&=), (!||=), (!&&=), (||=) :: MonadState a m => Lens a Bool -> Bool -> m Bool
- focus :: Monad m => Lens a b -> StateT b m c -> StateT a m c
Documentation
module Data.Lens.Common
State API
access :: MonadState a m => Lens a b -> m bSource
get the value of a lens into state
(~=), (!=) :: MonadState a m => Lens a b -> b -> m bSource
set a value using a lens into state
(%=), (!%=) :: MonadState a m => Lens a b -> (b -> b) -> m bSource
infix modification a value through a lens into state
(%%=), (!%%=) :: MonadState a m => Lens a b -> (b -> (c, b)) -> m cSource
infix modification of a value through a lens into state with a supplemental response
(//=), (!/=) :: (MonadState a m, Fractional b) => Lens a b -> b -> m bSource