def str.b

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

import Base

404# A string whose text so far starts at start and has no escape.
405def str.b(strict: Bool, r: Array<U32> & U32, +len: U32, +i: U32, +start: U32, key: Bool, stack: List<&1, Open>) -> Array<U32> & Sb:
406  (a, +c) = r
407  match c:
408    case 34:
409      str.b.close(key, i, stack, slice((i - start : U32), start, a))
410    case 92:
411      str.b.esc(strict, len, i, key, stack, slice((i - start : U32), start, a))
412    case 256:
413      (a, BFail{})
414    case _:
415      str.b.other(U32.is_lt(c, 128), c, a, len, i, start, key, stack)