Question

module Main where

import Options.Applicative
import Control.Monad
import Control.Monad.State

main :: IO ()
main = join . customExecParser (prefs showHelpOnError) $
  info (helper <*> parser) fullDesc

parser =
  example <$> strOption (long "aaa")
  <|>
  example2 <$> strOption (long "aaa")
           <*> strOption (long "bbb")

example :: String -> IO ()
example x = do
  print "example..."
  print x

example2 :: String -> String -> IO ()
example2 x y = do
  print "example2..."
  print x
  print y

使用上面的代码和以下参数：:set args --aaa test --bbb test2产生：

Invalid option `--bbb'

Usage: <interactive> (--aaa ARG | --aaa ARG --bbb ARG)

Available options:
  -h,--help                Show this help text
*** Exception: ExitFailure 1

如何成功解析第二种情况（与example2有关）？

问题似乎与两个解析器中都存在的解析器代码strOption (long "aaa")有关。除了(<|>)以外，还有其他替代方法可以实现预期的行为吗？

Answer 1

这里的问题出在(<|>)运算符中。它仅在第一个解析器不使用任何输入时才尝试第二个解析器。但是在您的举动中确实如此。您可以通过以相反的顺序指定参数来验证这一点。然后，第一个解析器将不会消耗任何输入并失败，而第二个解析器将以成功结果运行。

您可以通过以下方式解决此问题：

parser =                                                                                                                                                                                                
  (\a -> maybe (example a) (example2 a))                                        
  <$> strOption (long "aaa")                                                    
  <*> optional (strOption (long "bbb"))

optparse-applicative解析器由于使用了部分输入而失败

1 个答案: