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

vector vector at projects.haskell.org
Sun Oct 24 17:44:41 EDT 2010


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

 This signature also makes perfect sense:

 {{{
 backpermute :: (Vector v a, Vector v' a, Vector v' Int) => v a -> v' Int
 -> v' a
 }}}

 I'm not sure what to do here. It's not just `backpermute`, other
 operations (most notably the `update` and `accumulate` families) can also
 be generalised in this way but  it's not really obvious what signatures to
 export from the specialised modules. I'll try to come up with some kind of
 scheme. Suggestions would be greatly appreciated!

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


More information about the vector mailing list