Safe Haskell | Safe |
---|---|
Language | Haskell98 |
- 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 -> m b
- (%=) :: MonadState a m => Lens a b -> (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 => Lens a b -> (b -> (c, b)) -> m c
- (+=) :: (MonadState a m, Num b) => Lens a b -> b -> m b
- (!+=) :: (MonadState a m, Num b) => Lens a b -> b -> m b
- (-=) :: (MonadState a m, Num b) => Lens a b -> b -> m b
- (!-=) :: (MonadState a m, Num b) => Lens a b -> b -> m b
- (*=) :: (MonadState a m, Num b) => Lens a b -> b -> m b
- (!*=) :: (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, Fractional b) => Lens a b -> b -> m b
- (&&=) :: MonadState a m => Lens a Bool -> Bool -> m Bool
- (!&&=) :: MonadState a m => Lens a Bool -> Bool -> m Bool
- (||=) :: MonadState a m => Lens a Bool -> Bool -> m Bool
- (!||=) :: 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 b Source #
get the value of a lens into state
(~=) :: MonadState a m => Lens a b -> b -> m b infixr 4 Source #
set a value using a lens into state
(!=) :: MonadState a m => Lens a b -> b -> m b infixr 4 Source #
set a value using a lens into state
(%=) :: MonadState a m => Lens a b -> (b -> b) -> m b infixr 4 Source #
infix modification a value through a lens into state
(!%=) :: MonadState a m => Lens a b -> (b -> b) -> m b infixr 4 Source #
infix modification a value through a lens into state
(%%=) :: MonadState a m => Lens a b -> (b -> (c, b)) -> m c infixr 4 Source #
infix modification of a value through a lens into state with a supplemental response
(!%%=) :: MonadState a m => Lens a b -> (b -> (c, b)) -> m c infixr 4 Source #
infix modification of a value through a lens into state with a supplemental response
(//=) :: (MonadState a m, Fractional b) => Lens a b -> b -> m b infixr 4 Source #
(!/=) :: (MonadState a m, Fractional b) => Lens a b -> b -> m b infixr 4 Source #