def sp.pick

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

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

import Base

34def sp.pick(+d: Bool, +c: U32, +whole: String, +r: Sp) -> Sp:
35  match d:
36    case True{}:
37      sp.cons(c, r)
38    case False{}:
39      Sp{SNil{}, whole}

Uses (5)

Used by (1)

bend-toon-codec@0.1.0.0/src/num:span_digits