[vector] #46: Signature of backpermute is unnessesary restrictive

[vector]

#46: Signature of backpermute is unnessesary restrictive
----------------------+-----------------------------------------------------
Reporter:  Khudyakov  |        Owner:     
    Type:  defect     |       Status:  new
Priority:  major      |    Milestone:     
 Version:             |   Resolution:     
Keywords:             |  
----------------------+-----------------------------------------------------
Comment (by Khudyakov):

 Well this one is nice too. And it's not possible to became more generic.
 {{{
 backpermute :: (Vector v a, Vector v'' a, Vector v' Int) => v a -> v' Int
 -> v'' a
 }}}

 There is another concert. Function above doesn't fix return type so
 additional type annotation may become nessesary. Maybe it should be named
 backpermuteGen or something along this lines and old function should
 retain old signature

 With specialized modules it's easy. They are specialized then export
 specialized signatures like
 {{{
 backpermute :: Vector a -> Vector Int -> Vector a
 }}}
 If they are too restrictive you have to import from D.V.Generic. It's not
 too paintful I think.

-- 
Ticket URL: <http://trac.haskell.org/vector/ticket/46#comment:2>
vector <http://trac.haskell.org/vector>
Package vector