Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

Exact lookup

1. ifoldMap :: (FoldableWithIndex i f, Monoid m) => (i -> a -> m) -> f a -> m

   indexed-traversable	Data.Foldable.WithIndex

   Fold a container by mapping value to an arbitrary Monoid with access to the index i. When you don't need access to the index then foldMap is more flexible in what it accepts.

   foldMap ≡ ifoldMap . const
   

2. ifoldMap' :: (FoldableWithIndex i f, Monoid m) => (i -> a -> m) -> f a -> m

   indexed-traversable	Data.Foldable.WithIndex

   A variant of ifoldMap that is strict in the accumulator. When you don't need access to the index then foldMap' is more flexible in what it accepts.

   foldMap' ≡ ifoldMap' . const
   

3. imapM_ :: (FoldableWithIndex i t, Monad m) => (i -> a -> m b) -> t a -> m ()

   indexed-traversable	Data.Foldable.WithIndex

   Run monadic actions for each target of an IndexedFold or IndexedTraversal with access to the index, discarding the results. When you don't need access to the index then mapMOf_ is more flexible in what it accepts.

   mapM_ ≡ imapM . const
   

4. ifoldMap1 :: (Foldable1WithIndex i f, Semigroup m) => (i -> a -> m) -> f a -> m

   indexed-traversable	Data.Foldable1.WithIndex

   Map each element of the structure to a semigroup, and combine the results.

5. ifoldMap1' :: (Foldable1WithIndex i f, Semigroup m) => (i -> a -> m) -> f a -> m

   indexed-traversable	Data.Foldable1.WithIndex

   A variant of ifoldMap1 that is strict in the accumulator.

6. ifoldlMap1 :: Foldable1WithIndex i f => (i -> a -> b) -> (i -> b -> a -> b) -> f a -> b

   indexed-traversable	Data.Foldable1.WithIndex

   Generalized ifoldl1.

7. ifoldlMap1' :: Foldable1WithIndex i f => (i -> a -> b) -> (i -> b -> a -> b) -> f a -> b

   indexed-traversable	Data.Foldable1.WithIndex

   Generalized ifoldl1'.

8. ifoldrMap1 :: Foldable1WithIndex i f => (i -> a -> b) -> (i -> a -> b -> b) -> f a -> b

   indexed-traversable	Data.Foldable1.WithIndex

   Generalized ifoldr1.

9. ifoldrMap1' :: Foldable1WithIndex i f => (i -> a -> b) -> (i -> a -> b -> b) -> f a -> b

   indexed-traversable	Data.Foldable1.WithIndex

   Generalized ifoldr1'.

10. imap :: FunctorWithIndex i f => (i -> a -> b) -> f a -> f b

    indexed-traversable	Data.Functor.WithIndex

    Map with access to the index.

Page 474 of many | Previous | Next