package dose3

You can search for identifiers within the package.

in-package search v0.2.0

Dose library (part of Mancoosi tools)

Install

Dune Dependency

www.mancoosi.org Edit opam file Versions (5)

Authors

Maintainers

Sources

dose3-7.0.0.tar.gz

md5=bc99cbcea8fca29dca3ebbee54be45e1

sha512=98dc4bd28e9f4aa8384be71b31783ae1afac577ea587118b8457b554ffe302c98e83d0098971e6b81803ee5c4f2befe3a98ef196d6b0da8feb4121e982ad5c2f

doc/dose3.common/Dose_common/Util/Progress/index.html

Module `Util.Progress`Source

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