search

bodil / purescript-sized-vectors

Idris style sized vectors in PureScript
18 stars 12 forks source link

Add `FunctorWithIndex` instance #23

Closed m-bock closed 4 years ago

m-bock commented 4 years ago

To me it looks like this should be good to have.

artemisSystem commented 4 years ago

Also FoldableWithIndex and TraversableWithIndex

m-bock commented 4 years ago

Working on this: https://github.com/thought2/purescript-sized-vectors/tree/feature/with-index-instances

athanclark commented 4 years ago

Merged, thank you!