package dose3

You can search for identifiers within the package.

in-package search v0.2.0

Dose library (part of Mancoosi tools)

Install

md5=dedc2f58f2c2b59021f484abc6681d93

sha512=603462645bac190892a816ecb36ef7b9c52f0020f8d7710dc430e2db65122090fdedb24a8d2e03c32bf53a96515f5b51499603b839680d0a7a2146d6e0fb6e34

Timers are printed all at once by the dump function on stderr. * They can enabled or disabled (default)

Sourcetype t

Sourceval create : ?enabled:bool -> string -> t

create s create and register a new logger named s

Sourceval enable : label -> unit

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

Sourceval pp_timer : Format.formatter -> t -> unit

Sourceval dump : Format.formatter -> unit -> unit

print all timers that are enabled

Sourceval start : t -> unit

Sourceval stop : t -> 'a -> 'a

Sourceval available : unit -> label list

return the labels of all available progress bar