使用optparse-applicative生成命令行字符串

Question

给定一个Parser a和一个a类型的值，是否可以生成相关的命令行(文本格式)？(基本上，与通常使用optparse-applicative的用途完全相反！)

例如，给定像这样的东西。

data Args = {userName :: Text, userGroups :: Text }

parser :: Parser Args
parser = Args
  <$> (strOption $ long "name")
  <*> (many $ strOption $ long "group")

...how确实会转换以下内容...

let args = Args { userName :: "testUser", userGroups :: ["system", "sudo"] }

...to...

--name=testUser --group=system --group=sudo

Answer 1

不，在一般情况下没有办法。相关的位是：

data Parser a
  = forall x . MultP (Parser (x -> a)) (Parser x)
  | forall x . BindP (Parser x) (x -> Parser a)
  | -- ...

由于MultP和BindP的x是存在量化的，有关可用于生成a的合适x的信息在运行时会丢失。