def octs.drop

emerging-ezhttp@0.21.0.0 · src/http.bend:183

import Base

183# the rest of a string after this many bytes of UTF-8
184def octs.drop(s: String, +n: Nat) -> String:
185  match s:
186    case SNil{}:
187      SNil{}
188    case SCon{+h, +t}:
189      +w = octs.width(Char.to_u32(h))
190      octs.drop.step(Nat.is_lt(n, w), h, t, _u => octs.drop(t, Nat.sub(n, w)))