Jak znaleźć wszystkie podfoldery folderu?

Question

Chciałbym wyliczyć wszystkie podfoldery folderu w Haskell. Uzyskanie całej zawartości folderu jest łatwe, istnieje funkcja getDirectoryContents. Ale jak je odfiltrować? Od getDirectoryContents zwraca IO [FilePath] i filter spodziewa [a], nie mogę umieścić te dwa bezpośrednio ze sobą. (. Oczywiście, jestem świeżą rybę z monad i zrób notacji)

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

Answer 1

Problemem jest to, że nie ma powrotu getDirectoryContents Typ IO [FilePath], masz zwykły listę FilePath s poprzez wiązanie wynik,

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

problemem jest to, że predykat doesDirectoryExist ma typ FilePath -> IO Bool. Dla takich rzeczy, nie ma

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

filterM zdefiniowane w Control.Monad, więc

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

lub bez wiązania zawartość katalogu do nazwy,

getAllFolders path = getDirectoryContents path >>= filterM doesDirectoryExist 

i wskaż darmo :

getAllFolders = getDirectoryContents >=> filterM doesDirectoryExist 

Answer 2

Wygląda filterM oferowanych przez Control.Monad jest odpowiedź:

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