Converti [IO Int] in IO [Int] in Haskell?

Question

Ho questo codice che si adatta il mio bisogno:

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

Ma io thougth ci sarebbe un modo predefinito (Msum?)

ma non riesco a vedere come.

Qualsiasi aiuto sarebbe benvenuto. Thx

Answer 1

Sì, è disponibile nella libreria standard sotto il nome sequence. Ha un tipo più generale del tuo f: Monad m => [m a] -> m [a], poiché funziona per qualsiasi Monad, non solo per IO.

È possibile trovarlo da soli cercando il tipo [IO a] -> IO [a] su Hoogle.