Ticket #46 (closed defect: wontfix)
Signature of backpermute is unnessesary restrictive
|Reported by:||Khudyakov||Owned by:|
I think that type signature of backpermute is bit restrictive
backpermute :: (Vector v a, Vector v Int) ⇒ v a → v Int → v a
More liberal signature makes perfect sense. If vector are not the same things are still perfectly sensible.
backpermute :: (Vector v a, Vector v' Int) ⇒ v a → v' Int → v a
I encountered this when I tried to permute generic vector using unboxed one.
Of course there may be performance considerations, implementation difficulties etc