保存可能なMVectorからIOVectorを構築する

IOVectorをどのようにしてから作りますか？私は以下のようMVectorを有し、IOVectorを構築するようになる保存可能なMVectorからIOVectorを構築する

type IOVector = MVector RealWorld

（MSV.unsafeWith関数への入力のために - MSVはData.Vector.Storable.Mutableライブラリの短手です）：IOVectorは次のように説明されています。

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

2012-01-22 Sal

type PrimState IO = RealWorld

（プリミティブパッケージのsource codeから）

のでMVector (PrimState IO)はですMVector RealWorld、したがって、IOVector;あなたはそれを直接使うことができます。 IOVectorは便利な同義語なので、いつもMVector RealWorldを入力する必要はありません:)

2012-01-22 05:37:50 ehird

aha、good find。 RealWorldのタイプが何であるかを把握しようと、私はここで大変なことをしていました。 – Sal

答えて