Hoogle Search

Within LTS Haskell 24.19 (ghc-9.10.3)

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

Exact lookup

1. concatMapM :: (Monad m, Traversable t) => (a -> m [b]) -> t a -> m [b]

   liquidhaskell-boot	Language.Haskell.Liquid.Misc

   No documentation available.

2. foldMapM :: (Monoid b, Monad m, Foldable f) => (a -> m b) -> f a -> m b

   liquidhaskell-boot	Language.Haskell.Liquid.Misc

   No documentation available.

3. hashMapMapKeys :: (Eq k2, Hashable k2) => (k1 -> k2) -> HashMap k1 v -> HashMap k2 v

   liquidhaskell-boot	Language.Haskell.Liquid.Misc

   No documentation available.

4. hashMapMapWithKey :: (k -> v1 -> v2) -> HashMap k v1 -> HashMap k v2

   liquidhaskell-boot	Language.Haskell.Liquid.Misc

   No documentation available.

5. emapLMapM :: Monad m => ([Symbol] -> v0 -> m v1) -> LMapV v0 -> m (LMapV v1)

   liquidhaskell-boot	Language.Haskell.Liquid.Types.Types

   No documentation available.

6. emapMeasureM :: Monad m => ([Symbol] -> v0 -> m v1) -> ([Symbol] -> ty0 -> m ty1) -> MeasureV v0 ty0 ctor -> m (MeasureV v1 ty1 ctor)

   liquidhaskell-boot	Language.Haskell.Liquid.Types.Types

   No documentation available.

7. 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
   

8. 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.

9. 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}
   

10. 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.

Page 89 of many | Previous | Next