フォルダのすべてのサブフォルダを見つける方法を教えてください。

Question

私はHaskellのフォルダのすべてのサブフォルダを列挙したいと思います。すべてのフォルダの内容を取得するのは簡単ですが、getDirectoryContentsの機能があります。しかし、どうすればそれらをフィルタリングできますか？ getDirectoryContentsはIO [FilePath]を返し、filterは[a]と予想しているため、これら2つを直接組み合わせることはできません。 （もちろん、私はモナドで新鮮な魚だとdo記法を。）

getAllFolders :: FilePath -> IO [FilePath] 
getAllFolder path = do 
    allItems <- getDirectoryContents path 
    -- now what? the predicate is doesDirectoryExist 

Answer 1

タイプIO [FilePath]、あなたは結果を結合することによりFilePath秒のプレーンなリストを取得し、

getAllFolders path = do 
    contents <- getDirectoryContents path 
    -- do something with contents now, it's a plain [FilePath] 

問題があることです述語doesDirectoryExistのタイプはFilePath -> IO Boolです。このようなことのために、名前にディレクトリの内容を結合することなく、

getAllFolders path = getDirectoryContents path >>= filterM doesDirectoryExist 

とポイントフリーが、Control.Monadで定義された

ghci> :t Control.Monad.filterM 
Control.Monad.filterM :: Monad m => (a -> m Bool) -> [a] -> m [a] 

filterMので

getAllFolders path = do 
    contents <- getDirectoryContents path 
    filterM doesDirectoryExist contents 

ですか：

getAllFolders = getDirectoryContents >=> filterM doesDirectoryExist 

Answer 2

がControl.Monadが提供するfilterMのように見えるの答えです：問題はgetDirectoryContentsはリターンを持っているということではありません

getAllFolders :: FilePath -> IO [FilePath] 
getAllFolders path = do 
    allItems <- getDirectoryContents path 
    justFolders <- filterM doesDirectoryExist allItems 
    return justFolders