HORIZON HASKELLDocslts/ghc-10.0.x2b276322026-10-31Search packagesCtrl K
Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 2b27632 · 2026-10-31

Moduleindexed-traversable-0.1.5Haskell2010

Data.Foldable1.WithIndex

Indexed non-empty Foldables.

Contents
  1. Indexed Foldables
Synopsis

Indexed Foldables

classclass (Foldable1 f, FoldableWithIndex i f) => Foldable1WithIndex i (f :: Type -> Type) | f -> i where
Source#

A non-empty container that supports folding with an additional index.

Methods

  • ifoldMap1 :: Semigroup m => (i -> a -> m) -> f a -> m

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

  • ifoldMap1' :: Semigroup m => (i -> a -> m) -> f a -> m

    A variant of ifoldMap1 that is strict in the accumulator.

  • ifoldrMap1 :: (i -> a -> b) -> (i -> a -> b -> b) -> f a -> b

    Generalized ifoldr1.

  • ifoldlMap1' :: (i -> a -> b) -> (i -> b -> a -> b) -> f a -> b

    Generalized ifoldl1'.

  • ifoldlMap1 :: (i -> a -> b) -> (i -> b -> a -> b) -> f a -> b

    Generalized ifoldl1.

  • ifoldrMap1' :: (i -> a -> b) -> (i -> a -> b -> b) -> f a -> b

    Generalized ifoldr1'.

Instances1Foldable1WithIndex