Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. (<<%@~) :: Over (Indexed i) ((,) a) s t a b -> (i -> a -> b) -> s -> (a, t)

   lens	Control.Lens.Lens

   Adjust the target of an IndexedLens returning the old value, or adjust all of the targets of an IndexedTraversal and return a monoidal summary of the old values along with the answer.

   (<<%@~) ::             IndexedLens i s t a b      -> (i -> a -> b) -> s -> (a, t)
   (<<%@~) :: Monoid a => IndexedTraversal i s t a b -> (i -> a -> b) -> s -> (a, t)
   

2. (<<%~) :: LensLike ((,) a) s t a b -> (a -> b) -> s -> (a, t)

   lens	Control.Lens.Lens

   Modify the target of a Lens, but return the old value. When you do not need the old value, (%~) is more flexible.

   (<<%~) ::             Lens s t a b      -> (a -> b) -> s -> (a, t)
   (<<%~) ::             Iso s t a b       -> (a -> b) -> s -> (a, t)
   (<<%~) :: Monoid a => Traversal s t a b -> (a -> b) -> s -> (a, t)
   

3. ( #%%= ) :: MonadState s m => ALens s s a b -> (a -> (r, b)) -> m r

   lens	Control.Lens.Operators

   A version of (%%=) that works on ALens.

4. ( #%%~ ) :: Functor f => ALens s t a b -> (a -> f b) -> s -> f t

   lens	Control.Lens.Operators

   A version of (%%~) that works on ALens.

   >>> ("hello","world") & _2 #%%~ \x -> (length x, x ++ "!")
   (5,("hello","world!"))
   

5. ( #%= ) :: MonadState s m => ALens s s a b -> (a -> b) -> m ()

   lens	Control.Lens.Operators

   A version of (%=) that works on ALens.

6. ( #%~ ) :: ALens s t a b -> (a -> b) -> s -> t

   lens	Control.Lens.Operators

   A version of (%~) that works on ALens.

   >>> ("hello","world") & _2 #%~ length
   ("hello",5)
   

7. (<#%=) :: MonadState s m => ALens s s a b -> (a -> b) -> m b

   lens	Control.Lens.Operators

   A version of (<%=) that works on ALens.

8. (<#%~) :: ALens s t a b -> (a -> b) -> s -> (b, t)

   lens	Control.Lens.Operators

   A version of (<%~) that works on ALens.

   >>> ("hello","world") & _2 <#%~ length
   (5,("hello",5))
   

9. (<%=) :: MonadState s m => LensLike ((,) b) s s a b -> (a -> b) -> m b

   lens	Control.Lens.Operators

   Modify the target of a Lens into your Monad's state by a user supplied function and return the result. When applied to a Traversal, it this will return a monoidal summary of all of the intermediate results. When you do not need the result of the operation, (%=) is more flexible.

   (<%=) :: MonadState s m             => Lens' s a      -> (a -> a) -> m a
   (<%=) :: MonadState s m             => Iso' s a       -> (a -> a) -> m a
   (<%=) :: (MonadState s m, Monoid a) => Traversal' s a -> (a -> a) -> m a
   

10. (<%@=) :: MonadState s m => Over (Indexed i) ((,) b) s s a b -> (i -> a -> b) -> m b

    lens	Control.Lens.Operators

    Adjust the target of an IndexedLens returning the intermediate result, or adjust all of the targets of an IndexedTraversal within the current state, and return a monoidal summary of the intermediate results.

    (<%@=) :: MonadState s m                 => IndexedLens i s s a b      -> (i -> a -> b) -> m b
    (<%@=) :: (MonadState s m, Monoid b) => IndexedTraversal i s s a b -> (i -> a -> b) -> m b
    

Page 28 of many | Previous | Next