Построение IOVector из сохраняемого MVector

Question

Как вы строите IOVector из MVector?IOVector задокументировано как:

type IOVector = MVector RealWorld

У меня есть MVector, как показано ниже, и я хотел бы построить IOVector (для ввода в функцию MSV.unsafeWith - MSV - сокращение от Data.Vector.Storable.Изменяемая библиотека):

v <- MSV.replicate 5 0 :: (IO (MVector (PrimState IO) CShort)) 

Answer 1

type PrimState IO = RealWorld

(из исходного кода примитивного пакета )

То есть MVector (PrimState IO) есть MVector RealWorld и, таким образом, IOVector; Вы можете использовать его напрямую. IOVector - это просто удобный синоним, поэтому вам не нужно постоянно набирать MVector RealWorld:)