Hoogle Search

Within LTS Haskell 24.25 (ghc-9.10.3)

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

Exact lookup

1. imapMOf :: Over (Indexed i) (WrappedMonad m) s t a b -> (i -> a -> m b) -> s -> m t

   lens	Control.Lens.Traversal

   Map each element of a structure targeted by a Lens to a monadic action, evaluate these actions from left to right, and collect the results, with access its position. When you don't need access to the index mapMOf is more liberal in what it can accept.

   mapMOf l ≡ imapMOf l . const
   

   imapMOf :: Monad m => IndexedLens       i s t a b -> (i -> a -> m b) -> s -> m t
   imapMOf :: Monad m => IndexedTraversal  i s t a b -> (i -> a -> m b) -> s -> m t
   imapMOf :: Bind  m => IndexedTraversal1 i s t a b -> (i -> a -> m b) -> s -> m t
   

2. concatMapMC :: (Monad m, MonoFoldable mono) => (a -> m mono) -> ConduitT a (Element mono) m ()

   conduit	Conduit

   Apply the monadic function to each value in the stream, resulting in a foldable value (e.g., a list). Then yield each of the individual values in that foldable value separately. Generalizes concatMapM, mapMaybeM, and mapFoldableM.

3. foldMapMC :: (Monad m, Monoid w) => (a -> m w) -> ConduitT a o m w

   conduit	Conduit

   Apply the provided monadic mapping function and monoidal combine all values.

4. foldMapMCE :: (Monad m, MonoFoldable mono, Monoid w) => (Element mono -> m w) -> ConduitT mono o m w

   conduit	Conduit

   Apply the provided monadic mapping function and monoidal combine all elements in the chunked stream.

5. omapMCE :: (Monad m, MonoTraversable mono) => (Element mono -> m (Element mono)) -> ConduitT mono mono m ()

   conduit	Conduit

   Apply a monadic monomorphic transformation to all elements in a chunked stream. Unlike mapME, this will work on types like ByteString and Text which are MonoFunctor but not Functor.

6. concatMapM :: (Monad m, MonoFoldable mono) => (a -> m mono) -> ConduitT a (Element mono) m ()

   conduit	Data.Conduit.Combinators

   Apply the monadic function to each value in the stream, resulting in a foldable value (e.g., a list). Then yield each of the individual values in that foldable value separately. Generalizes concatMapM, mapMaybeM, and mapFoldableM. Subject to fusion

7. foldMapM :: (Monad m, Monoid w) => (a -> m w) -> ConduitT a o m w

   conduit	Data.Conduit.Combinators

   Apply the provided monadic mapping function and monoidal combine all values. Subject to fusion

8. foldMapME :: (Monad m, MonoFoldable mono, Monoid w) => (Element mono -> m w) -> ConduitT mono o m w

   conduit	Data.Conduit.Combinators

   Apply the provided monadic mapping function and monoidal combine all elements in the chunked stream. Subject to fusion

9. omapME :: (Monad m, MonoTraversable mono) => (Element mono -> m (Element mono)) -> ConduitT mono mono m ()

   conduit	Data.Conduit.Combinators

   Apply a monadic monomorphic transformation to all elements in a chunked stream. Unlike mapME, this will work on types like ByteString and Text which are MonoFunctor but not Functor. Subject to fusion

10. concatMapMS :: (Monad m, MonoFoldable mono) => (a -> m mono) -> StreamConduit a m (Element mono)

    conduit	Data.Conduit.Combinators.Stream

    No documentation available.

Page 68 of many | Previous | Next