ハスケル：単一故障

Question

後にアクションを実行するとIO Boolテストのリストを実行して、私はその機能を持っている場合BoolのいずれかがFalse

であれば最後にアクションを実行するための最良の方法は何ですか指定したファイルがディレクトリに存在するかどうかを確認し

check :: FilePath -> IO() 
check s = do 
      r <- doesFileExist s 
      putStrLn s ++ if r then " exists" else " does not exist" 

私は、ファイルのリストをチェックして、すべてのテストに合格した場合に応じて、最後に別の機能を実行できるようにしたいと思います

？これは、常にすべてのテストを実行します

import Control.Monad 

check :: FilePath -> IO Bool 
check = undefined 

process files = do 
    allok <- foldM (\b f -> fmap (b &&) (check f)) True files 
    if allok then putStrLn "All OK" else putStrLn "Oops" 

注：私は私はこのようなfoldMを使用することになり

allPassed = do 
      l <- mapM doesFileExist [`list of files`] 
      if all (==True) l then "all ok" else "meh" 

Answer 1

ようなもので、別途再チェックを行うと考えることができます現時点では

。

docs for allMは、それが短絡であると言うので、

do allok <- allM check files 
    if allok then ... else ... 

は、最初の障害発生後のチェックの実行を停止します。ここで

更新

は、いくつかのデモコードです：

import Control.Monad 

check :: Int -> IO Bool 
check x = do putStrLn ("x = " ++ show x) 
       return $ even x 

process files = do 
    allok <- foldM (\b f -> fmap (b &&) (check f)) True files 
    if allok then putStrLn "All OK" else putStrLn "Oops" 

main = do process [1..5] -- will print "Oops" 
      process [2,4,6] -- will print "All OK" 

Answer 2

私はControl.Monad.LoopsパッケージからallMを使用することをお勧めします。値のいずれかがfalseであることがわかると、早期終了します。これは、検査に高価な計算が含まれる場合に便利です。ここで

は簡単な例です：

import Control.Monad.Loops 

doesFileExist :: FilePath -> IO Bool 
doesFileExist path 
    | path == "holiday.jpg" = return True 
    | path == "me.jpg" = return True 
    | path == "pop song.mp3" = return True 
    | otherwise = return False 

check :: FilePath -> IO Bool 
check s = do 
    r <- doesFileExist s 

    putStrLn $ s ++ if r 
         then " exists" 
         else " does not exist" 

    return r 

main :: IO() 
main = do 
    allPassed <- allM check ["holiday.jpg", "cat.mp4", "me.jpg"] 

    if allPassed 
     then putStrLn "Yes" 
     else putStrLn "No"