Reputation: 3083
What is the recommended way of converting between Data.Vector.Unboxed
and Data.Vector
. Specifically, I need to map a function over a vector which converts an unboxable element type such as Int
to a non-unboxable one such as Text
. I assume going through an intermediate list is not going to be very efficient.
Upvotes: 7
Views: 689