PosixDelta

PosixDelta :: # (opaque)

Signed coordinate displacement on the POSIX axis, not physical SI elapsed time.

from_microseconds : I64 -> PosixDelta

Construct a signed coordinate displacement in whole microseconds. Every I64 value is accepted; negative values move toward earlier positions.

to_microseconds : PosixDelta -> I64

Read the signed microsecond displacement. It carries no date or epoch.

is_lt : PosixDelta, PosixDelta -> Bool

Whether the first of two signed POSIX displacements precedes the second in their numeric order.

is_lte : PosixDelta, PosixDelta -> Bool

Whether the first of two signed POSIX displacements precedes or equals the second.

is_gt : PosixDelta, PosixDelta -> Bool

Whether the first of two signed POSIX displacements follows the second in their numeric order.

is_gte : PosixDelta, PosixDelta -> Bool

Whether the first of two signed POSIX displacements follows or equals the second.

to_hash : PosixDelta, Hasher -> Hasher

Hash signed POSIX displacements consistently with equality for dictionary and set keys. Hash values are not a stable serialization format.

to_inspect : PosixDelta -> Str

Return a concise diagnostic description of these signed POSIX displacements. Use explicit conversions or text serialization when storing or exchanging data.

is_eq : PosixDelta, PosixDelta -> Bool

Equality of signed POSIX displacements; values of other temporal domains must be converted explicitly.