def when.frac

emerging-eztoml@0.9.0.0 · main.bend:811

import Base

811# an optional fractional second
812def when.frac(cs: List<&2, Char>, +clock: Clock, +date: Date) -> WhenOut:
813  match cs:
814    case []:
815      when.done(date, clock, WLocal{date, clock})
816    case +c <> t:
817      when.frac.go(Char.is_eq(c, '.'), t, clock, date, c)