-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | Haskell 98 Lenses -- -- Haskell 98 Lenses @package data-lens @version 2.0.2 module Data.Lens.Common newtype Lens a b Lens :: (a -> Store b a) -> Lens a b runLens :: Lens a b -> a -> Store b a -- | build a lens out of a getter and setter lens :: (a -> b) -> (b -> a -> a) -> Lens a b -- | build a lens out of an isomorphism iso :: (a -> b) -> (b -> a) -> Lens a b -- | Gets the getter function from a lens. getL :: Lens a b -> a -> b -- | Gets the setter function from a lens. setL :: Lens a b -> b -> a -> a -- | Gets the modifier function from a lens. modL :: Lens a b -> (b -> b) -> a -> a (^$, ^$!) :: Lens a b -> a -> b -- | functional getter, which acts like a field accessor (^., ^!) :: a -> Lens a b -> b (^=, ^!=) :: Lens a b -> b -> a -> a -- | functional modify (^%=, ^!%=) :: Lens a b -> (b -> b) -> a -> a -- | functorial modify (^%%=) :: Functor f => Lens a b -> (b -> f b) -> a -> f a (^+=, ^!*=, ^*=, ^!-=, ^-=, ^!+=) :: Num b => Lens a b -> b -> a -> a (^/=, ^!/=) :: Fractional b => Lens a b -> b -> a -> a fstLens :: Lens (a, b) a sndLens :: Lens (a, b) b mapLens :: Ord k => k -> Lens (Map k v) (Maybe v) intMapLens :: Int -> Lens (IntMap v) (Maybe v) setLens :: Ord k => k -> Lens (Set k) Bool intSetLens :: Int -> Lens IntSet Bool instance Category Lens instance Semigroupoid Lens module Data.Lens.Lazy -- | get the value of a lens into state access :: Monad m => Lens a b -> StateT a m b -- | set a value using a lens into state (~=, !=) :: Monad m => Lens a b -> b -> StateT a m b -- | infix modification a value through a lens into state (%=, !%=) :: Monad m => Lens a b -> (b -> b) -> StateT a m b -- | 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 (+=, !*=, *=, !-=, -=, !+=) :: (Monad m, Num b) => Lens a b -> b -> StateT a m b (//=, !/=) :: (Monad m, Fractional b) => Lens a b -> b -> StateT a m b (&&=, !||=, !&&=, ||=) :: Monad m => Lens a Bool -> Bool -> StateT a m Bool focus :: Monad m => Lens a b -> StateT b m c -> StateT a m c module Data.Lens.Strict -- | get the value of a lens into state access :: Monad m => Lens a b -> StateT a m b -- | set a value using a lens into state (~=, !=) :: Monad m => Lens a b -> b -> StateT a m b -- | infix modification a value through a lens into state (%=, !%=) :: Monad m => Lens a b -> (b -> b) -> StateT a m b -- | 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 (+=, !*=, *=, !-=, -=, !+=) :: (Monad m, Num b) => Lens a b -> b -> StateT a m b (//=, !/=) :: (Monad m, Fractional b) => Lens a b -> b -> StateT a m b (&&=, !||=, !&&=, ||=) :: Monad m => Lens a Bool -> Bool -> StateT a m Bool focus :: Monad m => Lens a b -> StateT b m c -> StateT a m c