Case class to represent an "option" in a command line.
Type-class trait to allow conversion from type X to type T
Type-class trait to allow conversion from type X to type T
the result type
This represents an element in the synopsis for a command line
This represents an "Option" in the parlance of POSIX command line interpretation (but formerly these options were known as flags)
This represents an "Option" in the parlance of POSIX command line interpretation (but formerly these options were known as flags)
the (single-character) String representing the option (flag)
This represents an "Option" and its "Value"
This represents an "Option" and its "Value"
the flag or "option" String
the Element which corresponds to the "value" of this synopsis flag (and which may of course be OptionalElement).
This represents an operand in the parlance of POSIX.
This represents an operand in the parlance of POSIX.
the String
This represents an optional synopsis element, either an optional flag, or an optional value.
This represents an optional synopsis element, either an optional flag, or an optional value.
a synopsis element that is optional
Parser of POSIX-style command lines.
Parser of POSIX-style command lines.
TODO there is a problem with testing equality of Elements (it's too liberal)
a Posix Arg
The value of an operand, i.e.
The value of an operand, i.e. a String which follows all of the options and their values.
a String
One or more options.
One or more options. Each option is a single-letter, although the terminating characters can be a value.
the string of options, without the "-" prefix.
The value of the preceding option.
The value of the preceding option.
a String
Parser of non-POSIX command lines
This represents an Option Value in the parlance of POSIX.
This represents an Option Value in the parlance of POSIX.
the String
Case class to represent an "option" in a command line. Such an option has an (optional) name which is a String; and an (optional) value, which is of type X.
the underlying type of the value.
the optional name.
the optional value.