haskell - Haskellでは、関数ガードでIOを実行する方法はありますか？

Question

例えば：

newfile :: FilePath -> IO Bool
newfile x | length x <= 0 = return False
          | doesFileExist x == True = return False
          | otherwise = return True

これを機能させることはできますか？

Answer 1

あなたはすでにIOモナドにいるので、なぜ以下を使用しませんか？

newfile :: FilePath -> IO Bool
newfile x | length x <= 0 = return False
          | otherwise = do exists <- doesFileExist x
                           return $ not exists

適用の良さのために：

import Control.Applicative

newfile :: FilePath -> IO Bool
newfile x | length x <= 0 = return False
          | otherwise = not <$> doesFileExist x

ご覧のとおり、適用ルートは、質問で使用したい警備員よりもさらに簡潔です。

Answer 2

いいえ、これを行う方法はありません（ここでは完全に不適切な安全でないトリックがない限り）。

ところで、それが可能だったdoesFileExist x == Trueので、もっとよく書かれるでしょう。doesFileExist x

Answer 3

これは機能し、必要なことを実行します。

newfile :: FilePath -> IO Bool
newfile fn = do 
    x <- runErrorT $ do
        when ((length fn) <= 0) (throwError "Empty filename")
        dfe <- liftIO $ doesFileExist fn
        when (dfe) (throwError "File already exists")
        return True
    return $ either (\_ -> False) id x

Answer 4

ガード句のタイプはである必要がありますBool。のタイプはdoesFileExist xですIO Bool。タイプの不一致は、それができないことを意味します。