optparse-应用回溯

Question

我试图在一个程序中使用光学分析-应用程序库，它应该根据参数的数量执行不同的操作。

例如，计算周长的程序的参数解析：

module TestOpts where

import Options.Applicative

type Length = Double

data PerimeterCommand
    = GeneralQuadranglePerimeter Length Length Length Length
    | RectanglePerimeter Length Length

parsePerimeterCommand :: Parser PerimeterCommand
parsePerimeterCommand = parseQuadPerimeter <|> parseRectPerimeter

parseQuadPerimeter = GeneralQuadranglePerimeter <$>
                     parseLength "SIDE1" <*>
                     parseLength "SIDE2" <*>
                     parseLength "SIDE3" <*>
                     parseLength "SIDE4"

parseRectPerimeter = RectanglePerimeter <$>
                     parseLength "WIDTH" <*> parseLength "HEIGHT"

parseLength name = argument auto (metavar name)

只有<|>的第一个参数才能成功地解析。我认为需要某种参数回溯，类似于Parsec的try组合器。

对于如何解析可选的参数集，当第一个选项可能消耗下一个选项的一些参数时，有什么想法吗？

Answer 1

请注意:这个答案是由作者Paolo Capriotti写的。

你不能直接用optparse应用程序来做这件事。选项分析应用的主要特点是，选项可以按任何顺序进行解析。如果您想主要使用参数(这是位置的)，最好有两个级别的解析器:在optparse中使用many argument，然后将结果数组传递给一个普通的解析器(例如使用Parsec)。如果您只有位置参数，那么将不会给您带来太多的开销，您可以使用Parsec手动解析这些参数。