def int.digits

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

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

import Base

122def int.digits(+neg: Bool, +r: Sp) -> Maybe<&2, Num>:
123  match r:
124    case Sp{ds, rest}:
125      match ds:
126        case SNil{}:
127          None{}
128        case _:
129          int.rest(neg, ds, rest)

Uses (6)

Used by (1)

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