ハスケル：モナドスタックIOと結合すると、[]

Question

は私が持っている：

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

と私は

stuff >>= doThings 

にしたいが、私のタイプがオフになっています。私は本質的に持ち上げられたバインドをしたいが、私が試みることはすべて微妙に間違っている。あなたが行うことができ、あなたのオリジナルのタイプで

Answer 1

、：

stuff >>= mapM_ doThings 

これはまた、あなたがそのような機能の多くを持っていればタイプdoThings :: String -> IO()

Answer 2

を持っているdoThingsを変更した場合、これは教科書のユースケースで動作しますListT：

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