search

Gabriella439 / Haskell-Index-Core-Library

Indexed Types
BSD 3-Clause "New" or "Revised" License
13 stars 2 forks source link

Indexed Foldable and Traversable #5

Open treeowl opened 8 years ago

treeowl commented 8 years ago

There seems to be a sensible notion of a traversable type-aligned sequence, for traversing what McBride calls a Path in the context of an Atkey-style indexed applicative functor. There's also a related notion of folding one up in the context of a Category. This notion of traversability generalizes your mapMR and makes traversability stronger than mappability and foldability, as we'd expect.

Gabriella439 commented 8 years ago

I'm no longer actively maintaining this library, but I will accept pull requests and upload them to Hackage.