package progress

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Units.Bytes`Source

type t := int64

Sourceval pp : t pp

Sourceval pp_fixed : t pp * int

pp_fixed is pp with padding added to achieve fixed size.

Quick builders for base-2 byte counts

Sourceval kib : int -> t

kib n is n kibibytes.

Sourceval mib : int -> t

mib n is n mebibytes.

Sourceval gib : int -> t

gib n is n gibibytes.

Sourceval tib : int -> t

tib n is n tebibytes.

Sourceval pib : int -> t

pib n is n pebibytes.