Hoogle Search

Within LTS Haskell 24.18 (ghc-9.10.3)

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

Exact lookup

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

   diagrams-lib	Diagrams.Prelude

   Modify the target of a Lens and return the result. When you do not need the result of the operation, (%~) is more flexible.

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

2. (<<%=) :: (Strong p, MonadState s m) => Over p ((,) a) s s a b -> p a b -> m a

   diagrams-lib	Diagrams.Prelude

   Modify the target of a Lens into your Monad's state by a user supplied function and return the old value that was replaced. When applied to a Traversal, this will return a monoidal summary of all of the old values present. 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
   

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

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

   diagrams-lib	Diagrams.Prelude

   Adjust the target of an IndexedLens returning the old value, or adjust all of the targets of an IndexedTraversal within the current state, and return a monoidal summary of the old values.

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

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

   diagrams-lib	Diagrams.Prelude

   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)
   

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

   diagrams-lib	Diagrams.Prelude

   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)
   

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

   Cabal-syntax	Distribution.Compat.Lens

   No documentation available.

7. (:%&:) :: forall s (t :: s ~> Type) (fst :: s) (sfst :: Sing fst) (snd :: t @@ fst) . Sing ('WrapSing sfst :: WrappedSing fst) -> Sing snd -> SSigma (sfst ':&: snd :: Sigma s t)

   singletons	Data.Singletons.Sigma

   No documentation available.

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

   microlens-mtl	Lens.Micro.Mtl

   Modify state and return the modified (new) value.

   l <%= f = do
   l %= f
   use l
   

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

   microlens-mtl	Lens.Micro.Mtl

   Modify state and return the old value (i.e. as it was before the modificaton).

   l <<%= f = do
   old <- use l
   l %= f
   return old
   

10. (:%|) :: forall a (n1 :: a) (n2 :: [a]) . Sing n1 -> Sing n2 -> SNonEmpty (n1 ':| n2)

    singletons-base	Data.List.NonEmpty.Singletons

    No documentation available.

Page 31 of many | Previous | Next