def octs.skip

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

import Base

1506# walk n bytes of UTF-8 off a string, as octs.drop does, saying how it ended
1507def octs.skip(s: String, +n: Nat) -> Skip:
1508  match s:
1509    case SNil{}:
1510      Short{n}
1511    case SCon{+h, +t}:
1512      +w = octs.width(Char.to_u32(h))
1513      octs.skip.step(Nat.is_lt(n, w), n, h, t, _u => octs.skip(t, Nat.sub(n, w)))