module Processing: sig
.. end
A simple task manager.
It enables the registration of the options and the control
of what has to be done by the program.
Tasks
type
task_name = string
type
process_type = task_name
type
process_types = process_type list list
type
process_data
type
process_datas
type
process = {
}
type
task
type
options = (Arg.key * Arg.spec * Arg.doc) list * Arg.anon_fun
val register : task_name ->
options ->
task_name list list -> ('a -> 'b) -> (unit -> bool) -> unit
val is_task_traced : task_name -> bool
val get_registered_tasks : unit -> task_name list
Processing
val execute : default_start:task_name ->
default_end:task_name -> usage:string -> unit
val debug : string -> unit