Documentation

Std.Time.Duration

Represents a time interval with nanoseconds precision.

Instances For
Equations
  • One or more equations did not get rendered due to their size.
Equations
@[inline]

Negates a Duration, flipping its second and nanosecond values.

@[inline]

Creates a new Duration out of Second.Offset.

theorem Std.Time.Duration.ofNanoseconds.mod_nonpos {a : Int} (b : Int) :
a 0b 00 a.tmod b
@[inline]

Checks if the duration is zero seconds and zero nanoseconds.

Equations
@[inline]

Converts a Duration to a Second.Offset

@[inline]

Converts a Duration to a Millisecond.Offset

Equations
@[inline]

Converts a Duration to a Nanosecond.Offset

@[inline]

Converts a Duration to a Minute.Offset

Equations
@[inline]

Converts a Duration to a Day.Offset

@[inline]

Normalizes Second.Offset and NanoSecond.span in order to build a new Duration out of it.

Equations
@[inline]

Adds two durations together, handling any carry-over in nanoseconds.

Equations
@[inline]

Subtracts one Duration from another.

Equations
  • t₁.sub t₂ = t₁.add t₂.neg
@[inline]

Adds a Second.Offset to a Duration

Equations
@[inline]

Subtracts a Second.Offset from a Duration

Equations
@[inline]

Adds a Minute.Offset to a Duration

Equations
@[inline]

Subtracts a Minute.Offset from a Duration

Equations
@[inline]

Subtracts an Hour.Offset from a Duration

Equations
@[inline]

Adds a Day.Offset to a Duration

Equations
@[inline]

Subtracts a Day.Offset from a Duration

Equations
@[inline]

Adds a Week.Offset to a Duration

Equations