4

我正在尝试在程序中使用optparse-applicative库，该程序应根据参数的数量执行不同的操作。

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

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组合器。

关于如何解析替代参数集的任何想法，当第一个替代方案可能会消耗下一个替代方案的一些参数时？

4

1 回答 1

2

请注意：此答案由 optparse-applicative 作者 Paolo Capriotti 撰写。

您不能直接使用 optparse-applicative 执行此操作。optparse-applicative 的主要特点是可以按任意顺序解析选项。如果你想主要使用参数（它们是位置的），你最好有两个级别的解析器：many argument在 optparse-applicative 中使用，然后将结果数组传递给普通解析器（比如使用 Parsec）。如果您只有位置参数，那么 optparse-applicative 不会给您带来太多好处，您可以使用 Parsec 手动解析参数。

于 2015-08-12T04:09:42.293 回答