| SMLDoc |
structure GetOpt :> GETOPT =
struct
type 'a opt_descr =
{short : string, long : string list, desc : 'a arg_descr, help : string}
datatype 'a arg_order = RequireOrder | Permute | ReturnInOrder of string -> 'a
datatype 'a arg_descr =
NoArg of 'a
| ReqArg of (string -> 'a) * string
| OptArg of (string option -> 'a) * string
val usageInfo : string -> 'a opt_descr list -> string
val getOpt
: 'a arg_order ->
'a opt_descr list ->
string list -> 'a list * string list * string list
end
Type detail |
---|
type 'a opt_descr =
{short : string, long : string list, desc : 'a arg_descr, help : string}
Datatype detail |
---|
datatype 'a arg_order = RequireOrder | Permute | ReturnInOrder of string -> 'a
datatype 'a arg_descr =
NoArg of 'a
| ReqArg of (string -> 'a) * string
| OptArg of (string option -> 'a) * string
DataConstructor detail |
---|
constructor RequireOrder : 'a arg_order
constructor Permute : 'a arg_order
constructor ReturnInOrder : (string -> 'a) -> 'a arg_order
constructor NoArg : 'a -> 'a arg_descr
constructor ReqArg : (string -> 'a) * string -> 'a arg_descr
constructor OptArg : (string option -> 'a) * string -> 'a arg_descr
Value detail |
---|
val usageInfo : string -> 'a opt_descr list -> string
val getOpt
: 'a arg_order ->
'a opt_descr list -> string list -> 'a list * string list * string list
| SMLDoc: Documentation generator for SML |