哈斯克爾：與IO單子堆棧綁定和[]

Question

我：

stuff :: IO [String] 
doThings :: String -> IO [()] 

，我想

stuff >>= doThings 

，但我的類型了。我想本質上做一個提升的綁定，但我所嘗試的一切都很微妙。

Answer 1

有了您的原稿類型，你可以這樣做：

stuff >>= mapM_ doThings 

此，如果你改變doThings有型doThings :: String -> IO()

Answer 2

如果你有很多這樣的功能也適用，這是教科書用例ListT：

main = runListT $ do 
    string <- ListT stuff 
    ListT $ doThings string