HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Moduleindexed-traversable-0.1.4Haskell2010

Data.Foldable1.WithIndex

Indexed non-empty Foldables.

  • 1 class

Indexed Foldables

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

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