在optparse-applicative中處理來自openFile的異常ReadM

Question

使用optparse-applicative，我想要一個可選參數，該參數應該是文件的路徑，或者未指定時，stdin。這裏明顯的選擇是使這個參數類型爲IO Handle，並且在使用openFile時傳遞參數。這是我目前有：

module Main where 

import Data.Semigroup ((<>)) 
import Options.Applicative 
import System.IO 

data Args = Args { input :: IO Handle } 

parseArgs = Args <$> argument parseReadHandle (value defaultHandle) 
    where defaultHandle = return stdin :: IO Handle 

parseReadHandle :: ReadM (IO Handle) 
parseReadHandle = eitherReader $ \path -> Right $ openFile path ReadMode 

getArgs :: IO Args 
getArgs = execParser $ info (parseArgs <**> helper) fullDesc 

main :: IO() 
main = run =<< getArgs 

run :: Args -> IO() 
run (Args input) = putStrLn =<< hGetContents =<< input 

這樣做的問題是，我們沒有正確地從openFilehandle例外，而是依賴默認行爲未處理的異常（打印錯誤並退出）。這似乎很糟糕。

我認爲更正確的方法將返回Left與從openFile的錯誤消息。麻煩的是，eitherReader需要一個String -> Either String a所以我們不能做這樣的事情：

{-# LANGUAGE ScopedTypeVariables #-} 
import Control.Exception 

parseReadHandle :: ReadM (IO Handle) 
parseReadHandle = eitherReader tryOpenFile 

tryOpenFile :: IO (Either String (IO Handle)) -> FilePath 
tryOpenFile path = do 
    handle (\(e :: IOException) -> return $ Left $ show e) $ do 
    return $ Right $ openFile path ReadMode 

當然，你也可以從tryOpenFile類型看，這將不會進行類型檢查。我不確定自己是否有可能提出要求，因爲看起來錯誤信息必須是IO String，因爲要得到錯誤必須執行IO計算。所以看起來你至少需要eitherReader才能拿String -> IO (Either String a)或String -> Either (IO String) (IO Handle)。從我對它們的基本理解來看，這聽起來像是一個monad變換器可以用來包裝ReadM（或者其他方式？）。但是這比我的理解要深入一些，而且我對如何前進感到茫然。

有沒有辦法在optparse-applicative ReadM中完成handleIOException？

Answer 1

我相信你的方法有些誤導。

你說："I'd like to have an optional argument, which should be a path to a file..."

好了，怎麼樣沿Maybe FilePath線的東西？聽起來這可能是你想要的。或等效的ADT：

data Path = StandardInput | Path FilePath 

當你說，"The obvious choice here is to make this argument type IO Handle and when an argument is passed in use openFile" 你走在前面的自己。

從命令行解析應該關於將要解析的輸入轉換爲適合將來在程序中使用的數據。不要擔心在這個階段打開文件，或處理異常如果文件不存在，或任何其他方式，你要使用這個數據...只是擔心這個問題，沒有用戶我的程序給我一個文件路徑或不？也就是說，我有什麼數據？其他的東西不是（也不應該是）optparse-applicative的工作。

所以，只需爲此數據類型Path構建解析器即可。它可能由每個構造函數的解析器組成。例如： -

stdInputParser :: Parser Path 
stdInputParser = ... 

pathSuppliedParser :: Parser Path 
pathSuppliedParser = ... 

pathParser :: Parser Path 
pathParser = pathSuppliedParser <|> stdInputParser 

無論如何，一旦你跑execParser，你會留下你的Path數據類型。所以，你傳遞的參數傳送給run功能：

run :: Path -> IO() 
run StandardInput = ... use stdin here 
run (Path filePath) = ... use openFile here, catch and handle exceptions if the file doesn't exist, etc.