search

konn / subcategories

Functors on subcategories induced by class constraints
BSD 3-Clause "New" or "Revised" License
8 stars 1 forks source link

Add 'CFunctorWithIndex', 'CFoldableWithIndex', and 'CTraversableWithIndex' typeclasses? #4

Open noinia opened 1 year ago

noinia commented 1 year ago

It would be nice to have these typeclasses, mirroring the ones from https://hackage.haskell.org/package/indexed-traversable would you be open to adding those?

konn commented 1 year ago

Ah, it is definitely good to have constrained counterparts of those! I don't have any particular schedule to work on this for the moment, but could be added when I've got enough time to work on it. If you have any implementation plan, PRs are always welcome!