data-lens-fd-2.0.1: Lenses

Safe HaskellSafe-Infered

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

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

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

focus :: Monad m => Lens a b -> StateT b m c -> StateT a m c