package progress
User-definable progress bars
Install
Dune Dependency
Authors
Maintainers
Sources
progress-0.4.0.tbz
sha256=8be449553379bb2dc5e8b79805c80447690a03dca3e9aee959fecf46d8278fb7
sha512=841383e8aa7d6bd802ced5eb7feae01bd507b2914eb45e8a559140677f83d5b8ec614f1d0bc54421021b5254a1edd78dd8a2506b2dfb264af72448d76bd03ac5
doc/progress.engine/Progress_engine/Make/Multi/index.html
Module Make.Multi
Source
The type of vertical sequences of progress bars. The parameter 'a
stores a list of the reporting functions associated with each bar, terminating with 'b
. For example:
(* Single progress bar, taking a [float] value. *)
(float reporter -> 'b, 'b) t
(* A two-bar layout, where the top bar takes [int64]s and the bottom one
takes [string * float] pairs. *)
(int64 reporter -> (string * float) reporter -> 'b, 'b) t
These reporting functions are supplied when beginning the rendering process.
Construct a multiple-line layout from a single progress bar line.
Construct a multiple-line layout from a sequence of lines that all have the same type of reported values.
Stack progress bars vertically. a ++ b
is a set with a
stacked on top of b
. The two sections have separate reporting functions, passed consecutively to the with_reporters
continuation when rendering.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>