haskell - STArrayをHaskellのリストに変換するには?

Question

関数が行うことを実行できる関数はありますかarrayToList:

import Data.Array.ST
import Control.Monad.ST

genArray :: ST s [Int]
genArray = do
   a <- new Array (0, 99) 0 :: ST s (STArray s Int Int)
   writeArray a 0 1
   {- ... write something to the array ... -}
   return arrayToList(a)

そうでない場合、どのように書くのですか？

Answer 1

これは必要ありませんIO。リストの作成は純粋な操作です。

genArray :: [Int]
genArray = runST $ do
  a <- newArray (0, 99) 0 :: ST s (STArray s Int Int)
  writeArray a 0 1
  {- ... write something to the array ... -}
  getElems a

Answer 2

stToIO と getElems を使用します。

genArray :: IO [Int]
genArray = stToIO $ do
    a <- newArray (0,99) 0 :: ST s (STArray s Int Int)
    writeArray a 0 1
    getElems a