def frac.digits

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

import bend-toon-codec@0.1.0.0/src/num.bend as Num

import Base

102def frac.digits(+neg: Bool, +ip: String, +r: Sp) -> Maybe<&2, Num>:
103  match r:
104    case Sp{ds, rest}:
105      match ds:
106        case SNil{}:
107          None{}
108        case _:
109          frac.rest(neg, ip, ds, rest)

Uses (6)

Used by (1)

bend-toon-codec@0.1.0.0/src/num:int.rest.pick