(类型化)程序的参数列表，使用optparse-appplicative

Question

是否有方法从使用optparse-applicative生成的命令行程序中提取名称和类型的列表？

我想找一些ParserInfo a -> [(String,TypeRep)]类型的函数

Answer 1

不，不可能。有关的双边投资条约是：

data ParserInfo a = ParserInfo   
    { infoParser :: Parser a
    , -- ...
    }

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

由于x的MultP和BindP是存在量化的，并且不带有Typeable约束，所以在运行时会丢失关于Parser a树叶处使用的类型的信息。