def int.rest.pick

bend-toon-codec@0.1.0.0 · src/num.bend:111

import Base
import bend-toon-codec@0.1.0.0/src/head.bend as Hd

111def int.rest.pick(+dot: Bool, +neg: Bool, +ip: String, +s: String) -> Maybe<&2, Num>:
112  match dot:
113    case True{}:
114      frac.digits(neg, ip, span_digits(Hd.drop(s)))
115    case False{}:
116      frac.rest(neg, ip, SNil{}, s)