def Datetime.frac_nanos

bend-time-lib@0.4.0.1 · datetime.bend:91

import bend-time-lib@0.4.0.1/datetime.bend as Datetime

import Base

91def Datetime.frac_nanos(frac: TimeFrac) -> U32:
92  match frac:
93    case FracNone{}:
94      0
95    case Frac{digits, value}:
96      U32.mul(value, U32.pow(10, Nat.sub(9n, digits)))

Uses (5)

Used by (2)