package progress

  1. Overview
  2. Docs
User-definable progress bars

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (8)

Authors

  1. C
    Craig Ferguson <me@craigfe.io>

Maintainers

  1. C
    Craig Ferguson <me@craigfe.io>

Sources

progress-0.2.2.tbz
sha256=3341c21923a21cd6b5b5cfa9ec3981f59572c367940fe5e02450533dfb4110b5
sha512=3edbe5ca6ea0bbc678b7dc4abe38bb4c3c4832de0144cc6e0791678712931fbaf2f7141196fca3fdc13a20777851cadcd165bf30c11d92193eecbd8f2d9dbf15

doc/progress.engine/Progress_engine/Make/Config/Default/index.html

Module Config.DefaultSource

Provides the default values of each of the config parameters.

ppf is Format.err_formatter.

Sourceval hide_cursor : bool

hide_cursor is true.

Sourceval persistent : bool

persistent is true.

Sourceval max_width : int option

max_width is None.

Sourceval min_interval : Duration.t option

min_interval is 1/60th of a second.