Haskell에서 기능 감시에서 IO를 수행하는 방법이 있습니까? 예를 들어

Question

는 :

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

이이 일을 할 수 있습니까?

Answer 1

이 작동하고 무엇이 필요합니까 :

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 2

아니요,이 작업을 수행 할 방법이 없습니다 (여기서는 전혀 안전하지 않은 안전하지 않은 트릭).

BTW doesFileExist x == True은 모두 doesFileExist x으로 작성하는 것이 좋습니다.

Answer 3

당신은 이미 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 4

보호 절의 유형은 Bool이어야합니다. doesFileExist x의 유형은 IO Bool입니다. 유형 불일치는 당신이 그렇게 할 수 없다는 것을 의미합니다.