package progress

You can search for identifiers within the package.

in-package search v0.2.0

User-definable progress bars

Install

sha256=7a92f6aede3d5010a30e6e47ccbc8380cc5bece8ac95c508323eb25272e6ddd3

sha512=a2ccea467e2d0e419b569992102bd2c43ff97b47f7f8413ee8fbe775ce369a80ff11e0a8fd450ebf1776f7c65baf2482076a120318c9d818488ceba0b9196639

Sourcetype t = float

Sourceval zero : t

Sourceval one : t

Sourceval add : t -> t -> t

Sourceval sub : t -> t -> t

Sourceval equal : t -> t -> bool

Sourceval to_string : t -> string

Sourceval to_float : t -> float

Sourceval of_float : float -> t