Эффективное преобразование между упакованными и распакованными векторами

Question

Какой рекомендуемый способ преобразования между Data.Vector.Unboxed и Data.Vector. В частности, мне нужно сопоставить функцию с вектором, который преобразует тип элемента unboxable, например Int, в тип unboxable, например Text. Я предполагаю, что прохождение промежуточного списка не будет очень эффективным.

Answer 1

Вы можете использовать функцию convert из Data.Vector.Generic для изменения типов векторов, а затем map для преобразования каждого элемента.