def when.frac.digits

emerging-eztoml@0.9.0.0 · main.bend:794

import Base

794# fractional digits
795def when.frac.digits(cs: List<&2, Char>, +rev: List<&2, Char>, +clock: Clock, +date: Date) -> WhenOut:
796  match cs:
797    case []:
798      when.frac.end(rev, clock, date, [])
799    case +c <> +t:
800      when.frac.digit(Char.is_digit(c), c, t, rev, clock, date,
801        _u => when.frac.digits(t, c <> rev, clock, date))