Bir klasörün tüm alt klasörlerini nasıl bulurum?

Question

Haskell'deki bir klasörün tüm alt klasörlerini sıralamak istiyorum. Tüm klasör içeriğini almak kolay, bir getDirectoryContents işlevi var. Ama onları nasıl filtreleyebilirim? getDirectoryContents bir IO [FilePath] döndürdüğünden ve filter[a] beklediğinden, bu ikisini doğrudan birlikte ekleyemiyorum. (. Açıkçası, ben monads ile taze balık değilim ve do-notasyonu)

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

Answer 1

sorun olduğunu getDirectoryContents değildir dönüşü vardır tip IO [FilePath], sen

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

sorun yani sonuç bağlanarak FilePath s düz listesini almak doesDirectoryExist, FilePath -> IO Bool türüne sahiptir. Böyle şeyler için, bir isme dizinin içeriğini bağlayıcı olmadan

getAllFolders path = getDirectoryContents path >>= filterM doesDirectoryExist 

ve nokta içermeyen orada, Control.Monad tanımlanan

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

filterM yüzden

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

veya :

getAllFolders = getDirectoryContents >=> filterM doesDirectoryExist 

Answer 2

Control.Monad sunduğu filterM benziyor yanıt:

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