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.
What is the recommended way of converting between Data.Vector.Unboxed and Data.Vector . Specifically, I
Share
You can use the convert function from
Data.Vector.Genericto change vector types, followed by amapto do the per-element conversion.