將IO [String]過濾爲IO [String]

Question

如何過濾IO [Maybe String]以僅使用>>=保留列表的Just值並保留IO上下文。

-- returns Just, if the passed binary-name is not present on the system 
binDoesntExist :: String -> IO (Maybe String) 
binDoesntExist ... 

我沒有綁定運營商當前的解決方案：

missingBin :: [String] -> IO [String] 
missingBin xs = do 
    ys <- mapM (\x -> binDoesntExist x) xs 
    return $ catMaybes ys 

我目前正在學習Haskell，並試圖瞭解如何使用標準庫的不同功能。我的解決方案有效，但我想有一個更清晰的方法。

Answer 1

短的解決辦法是

missingBin :: [String] -> IO [String] 
missingBin = fmap catMaybes . mapM binDoesntExist 

你不需要>>=運營商爲。

注：(\x -> binDoesntExist x) = binDoesntExist

Answer 2

從你寫上binDoesntExist的評論，我懷疑你可能寧願有不同類型的簽名，即：

-- returns True if the passed binary is not present on the system 
binDoesntExist :: String -> IO Bool 
binDoesntExist = ... 

此簽名的實施將可能是比現有的實施更簡單;和此外你missingBin將是相當簡單一點還有：

missingBin :: [String] -> IO [String] 
missingBin = filterM binDoesntExist 

這個討論假設現有的函數總是返回正是它通過String（如果返回任何String在所有）;但這個假設對我來說似乎並不那麼遙遠。