Module Util.ProgressSource

ProgressBars are printed immediately on stderr. * To be used, the **must** be created outside the functions where * they are used. * They can enabled or disabled (default)

Sourcetype t
Sourceval create : ?enabled:bool -> ?total:int -> ?unbounded:bool -> label -> t

create "barname" : create new a progress bar labelled "barname". The progress bar is disabled by default

Sourceval enable : label -> unit

enable "barname" : enable the progress bar with label "barname"

Sourceval disable : label -> unit

disable "barname" : disable the progress bar with label "barname"

Sourceval set_total : t -> int -> unit

set_total bar 10 : set the max width of the progress bar to 10 units

Sourceval progress : ?i:int -> t -> unit

increment the progress bar of i units

Sourceval reset : t -> unit

reset the progress bar

Sourceval available : unit -> label list

return the labels of all available progress bar