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.5.0.tbz
sha256=7f87f0597363928c45ba859ae5a1430f6aa3c29e251ff1a53cf786ed0e045961
sha512=45dee4fe2ae0b7fc3ca675f6e854d738873eb608ef9155ea5d7edac4639c183ae1f512847a1b43bdfc1f4c459e7d5b44d03ee809455797e680f890b33d531367

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.