ハスケルで[IO Int]をIO [Int]に変換しますか？

Question

は、私は私のニーズに合った、このコードがあります。

f :: [IO Int] -> IO [Int] 
f [] = return [] 
f (x:xs) = do 
    a <- x 
    as <- f xs 
    return (a:as) 

をしかし、私はそこ（MSUM？）

事前に定義された方法だろう。しかし、私はどのように見ることができませんthougth。

何か歓迎致します。 Thx

Answer 1

はい、標準ライブラリのsequenceという名前で入手できます。それはあなたのf：Monad m => [m a] -> m [a]よりも一般的なタイプです。それはのどのタイプにも使用でき、IOにしか適用されません。

[IO a] -> IO [a]をHoogleに検索すると、自分で見つけることができます。