flix

0.55.0

GetOpt.ArgOrder

enum ArgOrder[a: Type]Source
case RequireOrdercase Permutecase ReturnInOrder(String -> a)

ArgOrder defines how to parse further arguments that follow non-options.

  • RequireOrder after the first non-option all remain arguments are treated as non-options
  • Permute options and non-options are freely interspersed in the input stream
  • ReturnInOrder turn non-options into options by applying the supplied function