Hoogle Search

Within LTS Haskell 24.49 (ghc-9.10.3)

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

Exact lookup

1. parMapM :: forall t b (iv :: Type -> Type) p a . (Traversable t, NFData b, ParFuture iv p) => (a -> p b) -> t a -> p (t b)

   monad-par-extras	Control.Monad.Par.Combinator

   Like parMap, but the function is a Par monad operation.

   parMapM f xs = mapM (spawn . f) xs >>= mapM get
   

2. drainMapM :: Monad m => (a -> m b) -> Fold m a ()

   streamly-core	Streamly.Data.Fold

   Definitions:

   >>> drainMapM f = Fold.lmapM f Fold.drain
   
   >>> drainMapM f = Fold.foldMapM (void . f)
   

   Drain all input after passing it through a monadic function. This is the dual of mapM_ on stream producers.

3. foldMapM :: (Monad m, Monoid b) => (a -> m b) -> Fold m a b

   streamly-core	Streamly.Data.Fold

   Definition:

   >>> foldMapM f = Fold.lmapM f Fold.mconcat
   

   Make a fold from a monadic function that folds the output of the function using mappend and mempty.

   >>> sum = Fold.foldMapM (return . Data.Monoid.Sum)
   
   >>> Stream.fold sum $ Stream.enumerateFromTo 1 10
   Sum {getSum = 55}
   

4. lmapM :: Monad m => (a -> m b) -> Fold m b r -> Fold m a r

   streamly-core	Streamly.Data.Fold

   lmapM f fold maps the monadic function f on the input of the fold.

5. rmapM :: Monad m => (b -> m c) -> Fold m a b -> Fold m a c

   streamly-core	Streamly.Data.Fold

   Map a monadic function on the output of a fold.

6. lmapM :: Monad m => (a -> m b) -> Parser b m r -> Parser a m r

   streamly-core	Streamly.Data.Parser

   lmapM f parser maps the monadic function f on the input of the parser.

7. rmapM :: Monad m => (b -> m c) -> Parser a m b -> Parser a m c

   streamly-core	Streamly.Data.Parser

   rmapM f parser maps the monadic function f on the output of the parser.

   >>> rmap = fmap
   

8. concatMapM :: Monad m => (a -> m (Stream m b)) -> Stream m a -> Stream m b

   streamly-core	Streamly.Data.Stream

   Map a stream producing monadic function on each element of the stream and then flatten the results into a single stream. Since the stream generation function is monadic, unlike concatMap, it can produce an effect at the beginning of each iteration of the inner loop. See unfoldMany for a fusible alternative.

9. lmapM :: Monad m => (a -> m c) -> Unfold m c b -> Unfold m a b

   streamly-core	Streamly.Data.Unfold

   Map an action on the input argument of the Unfold.

   lmapM f = Unfold.many (Unfold.functionM f)
   

10. drainMapM :: Monad m => (a -> m b) -> Fold m a ()

    streamly-core	Streamly.Internal.Data.Fold

    Definitions:

    >>> drainMapM f = Fold.lmapM f Fold.drain
    
    >>> drainMapM f = Fold.foldMapM (void . f)
    

    Drain all input after passing it through a monadic function. This is the dual of mapM_ on stream producers.

Page 90 of many | Previous | Next