def octs.skip.step

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

import Base

1497# one step of the skip: a character wider than what is left stops it
1498def octs.skip.step(short: Bool, +n: Nat, h: Char, t: String,
1499  rest: Unit -> Skip) -> Skip:
1500  match short:
1501    case True{}:
1502      Over{n, SCon{h, t}}
1503    case False{}:
1504      rest(Unit{})