Type of functions producing a progress bar.

Print a progress bar to stderr

See hProgressBar.

Print a progress bar to stderr which takes up all available space.

The given width will be used if the width of the terminal can not be determined.

See hProgressBar.

Print a progress bar to a file handle.

Erases the current line! (by outputting '\r') Does not print a newline '\n'. Subsequent invocations will overwrite the previous output.

Renders a progress bar

>>> mkProgressBar (msg "Working") percentage 40 30 100
"Working [=======>.................]  30%"

State of a progress bar.

A label that can be pre- or postfixed to a progress bar.

The empty label.

>>> noLabel 30 100
""

A label consisting of a static string.

>>> msg "foo" 30 100
"foo"

A label which displays the progress as a percentage.

Constant width property: ∀ d t : ℕ. d ≤ t → length (percentage d t) ≡ 4

>>> percentage 30 100
" 30%"

Note: if no work is to be done (todo == 0) the percentage will always be 100%.

A label which displays the progress as a fraction of the total amount of work.

Equal width property: ∀ d₁ d₂ t : ℕ. d₁ ≤ d₂ ≤ t → length (exact d₁ t) ≡ length (exact d₂ t)

>>> exact 30 100
" 30/100"

Start a thread to automatically display progress. Use incProgress to step the progress bar.

Increment the progress bar. Negative values will reverse the progress. Progress will never be negative and will silently stop taking data when it completes.