data-lens-2.11.1: Used to be Haskell 98 Lenses

Safe HaskellSafe
LanguageHaskell98

Data.Lens.Lazy

Contents

Synopsis

Documentation

State API

access :: Monad m => Lens a b -> StateT a m b Source #

get the value of a lens into state

(~=) :: Monad m => Lens a b -> b -> StateT a m b infixr 4 Source #

set a value using a lens into state

(!=) :: Monad m => Lens a b -> b -> StateT a m b infixr 4 Source #

set a value using a lens into state

(%=) :: Monad m => Lens a b -> (b -> b) -> StateT a m b infixr 4 Source #

infix modification a value through a lens into state

(!%=) :: Monad m => Lens a b -> (b -> b) -> StateT a m b infixr 4 Source #

infix modification a value through a lens into state

(%%=) :: Monad m => Lens a b -> (b -> (c, b)) -> StateT a m c infixr 4 Source #

infix modification of a value through a lens into state with a supplemental response

(!%%=) :: Monad m => Lens a b -> (b -> (c, b)) -> StateT a m c infixr 4 Source #

infix modification of a value through a lens into state with a supplemental response

(+=) :: (Monad m, Num b) => Lens a b -> b -> StateT a m b infixr 4 Source #

(!+=) :: (Monad m, Num b) => Lens a b -> b -> StateT a m b infixr 4 Source #

(-=) :: (Monad m, Num b) => Lens a b -> b -> StateT a m b infixr 4 Source #

(!-=) :: (Monad m, Num b) => Lens a b -> b -> StateT a m b infixr 4 Source #

(*=) :: (Monad m, Num b) => Lens a b -> b -> StateT a m b infixr 4 Source #

(!*=) :: (Monad m, Num b) => Lens a b -> b -> StateT a m b infixr 4 Source #

(//=) :: (Monad m, Fractional b) => Lens a b -> b -> StateT a m b infixr 4 Source #

(!/=) :: (Monad m, Fractional b) => Lens a b -> b -> StateT a m b infixr 4 Source #

(&&=) :: Monad m => Lens a Bool -> Bool -> StateT a m Bool infixr 4 Source #

(!&&=) :: Monad m => Lens a Bool -> Bool -> StateT a m Bool infixr 4 Source #

(||=) :: Monad m => Lens a Bool -> Bool -> StateT a m Bool infixr 4 Source #

(!||=) :: Monad m => Lens a Bool -> Bool -> StateT a m Bool infixr 4 Source #

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