~/jendhub

def Duration.show_ms.pos

bend-kit-time@0.3.0.0 · time.bend:308

import bend-kit-time@0.3.0.0/time.bend as Time
import Base
import bend-kit-int@0.2.0.0/int.bend as Int

308# Milliseconds with six decimal places.
309def Duration.show_ms.pos(d: Duration) -> String:
310  match d:
311    case Duration{s, +n}:
312      Int.I64.show(Duration.to_ms(Duration{s, n})) ++ "." ++ pad((n % 1000000 : U32), 6n)

Uses (8)

Used by (1)