Generate command line strings using optparse-applicative

Question

Given a Parser a and a value of type a is it possible to generate the relevant command-line (in textual format)? (Basically, the exact reverse of what optparse-applicative is generally used for!)

For example, given something like...

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

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

...how does one convert the following...

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

...to...

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

I see, that's an interesting idea, but probably not possible with optparse-applicative. You might get a couple of samples if you're lucky but you won't get to choose what goes in each field. — Li-yao Xia, Dec 31 '18 at 11:39

score 1 · Answer 1 · answered Dec 31 '18 at 16:28

1

No, there is no way in general. The relevant bits are:

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

Since the xs of MultP and BindP are existentially quantified, the information about the suitable xs that could be used to produce your a is lost at runtime.

answered Dec 31 '18 at 16:28

Daniel Wagner

145,880
9
220
380

(I cribbed most of this answer from [here](https://stackoverflow.com/q/51406985/791604).) – Daniel Wagner Dec 31 '18 at 16:29

Generate command line strings using optparse-applicative

1 Answers1