def esc.b

bend-kit-json@0.7.0.0 · json.bend:372

import Base

372# A string after its first escape.
373def esc.b(strict: Bool, r: Array<U32> & U32, +len: U32, +i: U32, acc: W, key: Bool, stack: List<&1, Open>) -> Array<U32> & Sb:
374  (a, +c) = r
375  match c:
376    case 34:
377      (a, str.b.done(key, w.done(acc), (i + 1 : U32), stack))
378    case 92:
379      esc.b.one(strict, len, i, acc, key, stack, pk(a, len, (i + 1 : U32)))
380    case 256:
381      (a, BFail{})
382    case _:
383      esc.b.other(U32.is_lt(c, 128), c, a, len, i, acc, key, stack)