하스켈에서 [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이라는 이름으로 사용할 수 있습니다. 이 아닌 Monad에서 작동하기 때문에 f : Monad m => [m a] -> m [a]보다 일반적인 유형입니다.

[IO a] -> IO [a]을 Hoogle에 입력하여 직접 찾을 수 있습니다.