def frame.at.pos.do

bend-kit-http@0.38.2.0 · http.bend:1082

import Base

1082def frame.at.pos.do(f: Nat, +raw: String, closed: Bool, head: Bool, hb: String & String, lead: Lead) -> Frame:
1083  match f:
1084    case 0n:
1085      match lead:
1086        case LeadCut{}:
1087          frame.cut(closed)
1088        case LeadFinal{}:
1089          parse.res.of(hb, closed, head)
1090        case LeadSkip{+rest}:
1091          frame.at.zero.of(rest, closed, head)
1092    case 1n+g:
1093      match lead:
1094        case LeadCut{}:
1095          frame.cut(closed)
1096        case LeadFinal{}:
1097          parse.res.of(hb, closed, head)
1098        case LeadSkip{+rest}:
1099          frame.at.pos.do(g, rest, closed, head, split_at_blank(rest), frame.lead(split_at_blank(rest)))