./devel/hs-indexed-traversable, FunctorWithIndex, FoldableWithIndex, TraversableWithIndex

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 0.1.1nb1, Package name: hs-indexed-traversable-0.1.1nb1, Maintainer: pho

This 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)

This package contains instances for types in GHC boot libraries. For
some additional instances see indexed-traversable-instances.

The keys package provides similar functionality, but uses (associated)
TypeFamilies instead of FunctionalDependencies.


Master sites:

SHA1: f8fd1d669046739dcfdccceb3ffe2fd448fb854f
RMD160: 093d395b709d38a310255e9ee5c1601e0e2558ab
Filesize: 8.227 KB

Version history: (Expand)


CVS history: (Expand)


   2021-05-03 21:01:21 by Masatake Daimon | Files touched by this commit (475) | Package updated
Log message:
*: Bump PKGREVISION for ghc-9.0.1
   2021-05-01 16:13:29 by Masatake Daimon | Files touched by this commit (2)
Log message:
Remove files/Setup.hs: mk/haskll.mk can now automatically handle that
   2021-04-23 09:41:59 by Masatake Daimon | Files touched by this commit (6)
Log message:
Import indexed-traversable-0.1.1