Module Mtime.SpanSource

See Mtime.span.

zero is a span of 0ns.

one is a span of 1ns.

min_span is zero.

max_span is 2⁶⁴-1ns.

equal span span' is true iff span and span' are equal.

compare span span' orders spans by increasing duration.

add span span' is span + span'.

Warning. Rolls over on overflow.

abs_diff span span' is the absolute difference between span and span'.

n * dur is n times duration dur.

Warning. Does not check for overflow or that n is positive.

ns is a nanosecond duration, 1·10^-9s.

us is a microsecond duration, 1·10^-6s.

ms is a millisecond duration, 1·10^-3s.

s is a second duration, 1s.

min is a minute duration, 60s.

hour is an hour duration, 3600s.

day is a day duration, 86'400s.

year is a Julian year duration (365.25 days), 31'557'600s.

to_uint64_ns span is span as an unsigned 64-bit integer nanosecond span.

of_uint64_ns u is the unsigned 64-bit integer nanosecond span u as a span.

to_ns span is span in nanoseconds (1e-9s).

to_us span is span in microseconds (1e-6s).

to_ms span is span in milliseconds (1e-3s).

to_s span is span in seconds.

to_min span is span in SI-accepted minutes (60s).

to_hour span is span in SI-accepted hours (3600s).

to_day span is span in SI-accepted days (24 hours, 86400s).

to_year span is span in Julian years (365.25 days, 31'557'600s).

pp_span ppf span formats an unspecified representation of span on ppf. The representation is not fixed-width, depends on the magnitude of span and uses locale independent standard time scale abbreviations.

pp_float_s formats like pp does but on a floating point seconds time span value (which can be negative).

dump ppf span formats an unspecified raw representation of span on ppf.