Language

Package: ghc-indexed-traversable @ 0.1.1

Synopsis

Indexed Functor, Foldable, and Traversable typeclasses

Description

This Haskell package provides three useful generalizations:

class Functor f => FunctorWithIndex i f | f -> i where
  imap :: (i -> a -> b) -> f a -> f b
class Foldable f => FoldableWithIndex i f | f -> i where
  ifoldMap :: Monoid m => (i -> a -> m) -> f a -> m
class (FunctorWithIndex i t, FoldableWithIndex i t, Traversable t)
       => TraversableWithIndex i t | t -> i where
  itraverse :: Applicative f => (i -> a -> f b) -> t a -> f (t b)

The ghc-keys package provides similar functionality, but uses associated TypeFamilies instead of FunctionalDependencies.

Home page
https://hackage.haskell.org/package/indexed-traversable
Location
gnu/packages/haskell-xyz.scm (line: 14859, column: 2)
License

Lint warnings

LinterMessageLocation
formatting

Look for formatting issues in the source

line 14866 is way too long (91 characters)