def octs.drop.step

emerging-ezhttp@0.22.0.0 · src/http.bend:174

import Base

174# one step of the drop
175def octs.drop.step(short: Bool, h: Char, t: String,
176  rest: Unit -> String) -> String:
177  match short:
178    case True{}:
179      SCon{h, t}
180    case False{}:
181      rest(Unit{})