def Format.frac.dot

bend-time-lib@0.4.0.1 · format.bend:184

import Base
import bend-scanner@0.1.0.0/parse.bend as P
import bend-time-lib@0.4.0.1/datetime.bend as DT

184def Format.frac.dot(
185  cur: P.Parse.Cur, is_dot: Bool
186) -> Result<&2, &2, Format.Error, Format.FracP>:
187  match is_dot:
188    case False{}:
189      Done{FracP{DT.FracNone{}, cur}}
190    case True{}:
191      Format.frac.digits2(P.Parse.expect_char(cur, '.'))