Question

给出一个Parser a和一个类型为[root@docker31 ~]# cat /proc/meminfo | grep KernelStack KernelStack: 12640 kB的值，是否可以生成相关的命令行（以文本格式）？（基本上，与a的使用完全相反！）

例如，给出类似...

optparse-applicative

...一个人如何转换以下内容...

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

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

...到...

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

Answer 1

不，一般没有办法。相关的位是：

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

由于x和MultP的{{1}}已存在量化，因此有关可以用于生成BindP的合适x的信息在运行时丢失。

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

1 个答案: