data-lens-fd-1.8.0.2: Lenses

Data.Lens

Contents

Synopsis

Documentation

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

(!=) :: 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

(!%=) :: 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

(!%%=) :: 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, Num b) => Lens a b -> b -> m bSource

(!+=) :: (MonadState a m, Num b) => Lens a b -> b -> m bSource

(-=) :: (MonadState a m, Num b) => Lens a b -> b -> m bSource

(!-=) :: (MonadState a m, Num b) => Lens a b -> b -> m bSource

(*=) :: (MonadState a m, Num b) => Lens a b -> b -> m bSource

(!*=) :: (MonadState a m, Num b) => Lens a b -> b -> m bSource

(//=) :: (MonadState a m, Fractional b) => Lens a b -> b -> m bSource

(!/=) :: (MonadState a m, Fractional b) => Lens a b -> b -> m bSource

(&&=) :: MonadState a m => Lens a Bool -> Bool -> m BoolSource

(||=) :: MonadState a m => Lens a Bool -> Bool -> m BoolSource