从可存储的MVector构造IOVector

Question

如何从IOVector构建MVector？ IOVector记录为：

type IOVector = MVector RealWorld

我有一个类似下面的MVector，并且想构建IOVector（用于输入MSV.unsafeWith函数 - MSV是Data.Vector.Storable.Mutable库的简写）：

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

Answer 1

type PrimState IO = RealWorld

（来自原始包的source code）

因此，MVector (PrimState IO) 是MVector RealWorld，因此IOVector;你可以直接使用它。 IOVector只是一个方便的同义词，因此您无需一直输入MVector RealWorld：）