def split.pick

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

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

131def split.pick(+minus: Bool, +s: String) -> Maybe<&2, Num>:
132  match minus:
133    case True{}:
134      int.digits(True{}, span_digits(Hd.drop(s)))
135    case False{}:
136      int.digits(False{}, span_digits(s))