def span.str

emerging-ezjson@1.4.0.0 · src/value.bend:36

import Base

36# the first `nn` chars of `src` as their own string
37def span.str(src: String, +nn: U32, zero: Bool) -> String:
38  match src zero:
39    case s True{}:
40      ""
41    case SNil{} False{}:
42      ""
43    case SCon{h, t} False{}:
44      SCon{h, span.str(t, U32.sub(nn, 1), U32.is_zero(U32.sub(nn, 1)))}