Konwertuj [IO Int] na IO [Int] w Haskell?

Question

Mam ten kod, który pasuje moje potrzeby:

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

Ale thougth nie byłoby predefiniowane sposób (msum?)

Ale nie widzę w jaki sposób.

Każda pomoc będzie mile widziane. Thx

Answer 1

Tak, jest dostępny w standardowej bibliotece pod nazwą sequence. Ma bardziej ogólny typ niż Twój f: Monad m => [m a] -> m [a], ponieważ działa dla każdego Monad, a nie tylko IO.

Można go znaleźć samodzielnie, wyszukując typ [IO a] -> IO [a] na Hoogle.