Czy partycję można zastosować do `a -> IO Bool`?

Question

Mam następujący kod:

import System.Directory 
import System.FilePath 
import Control.Monad (filterM) 

filesAndDirs dir = do 
    entries <- getDirectoryContents dir 
    let filtered = [dir </> e | e <- entries, e `notElem` [".", ".."]] 
    files <- filterM doesFileExist filtered 
    dirs <- filterM doesDirectoryExist filtered 
    return (files, dirs) 

Chciałbym napisać coś takiego jak return $ partitionM doesFileExist filtered. Czy istnieje sposób na ponowne użycie lub podniesienie numeru partition lub podwójne użycie numeru filterM w najlepszy sposób?

Answer 1

Wyszukiwanie dla partitionM na Hayoo zwróci Ci co najmniej 2 biblioteki implementujące tę funkcję. Oznacza to, że możesz polegać na nich lub studiować ich źródło.

Oto tłumaczenie bardziej czytelne od this implementation:

partitionM :: (Monad m) => (a -> m Bool) -> [a] -> m ([a], [a]) 
partitionM p xs = foldM f ([], []) xs 
    where 
    f (a, b) x = do 
     flag <- p x 
     return $ if flag 
     then (x : a, b) 
     else (a, x : b) 

---

chodzi o Twoje pytanie, w jaki sposób podnieść funkcję partition do partitionM, wpadłem na następujący realizacji funkcji podnoszenia:

Ta funkcja umożliwia podniesienie wszystkich funkcji typu

(a -> Bool) -> [a] -> ([a], [a]) 

(tj partition, break i span) do

(a -> m Bool) -> [a] -> m ([a], [a])