def Decimal.read.fin

bend-kit-bignum@0.1.0.0 · decimal.bend:419

import Base

419def Decimal.read.fin(st: Scan) -> Maybe<&2, Decimal>:
420  match st:
421    case Whole{neg, ds}:
422      Some{Decimal{Decimal.read.digits(neg, ds), 0n}}
423    case Frac{neg, ds, sc}:
424      Some{Decimal{Decimal.read.digits(neg, ds), sc}}
425    case ExpDigits{neg, ds, sc, eneg, e}:
426      Some{Decimal.read.shift(Decimal.read.digits(neg, ds), sc, eneg,
427        U32.to_nat(e))}
428    case _:
429      None{}