def str.step

bend-net-json@0.3.0.0 · json.bend:225

import bend-net-json@0.3.0.0/json.bend as Json

import Base

225# §7: unescaped chars below U+0020 are not allowed in a string.
226def str.step(s: String, acc: String, key: Bool, stack: List<&2, Open>) -> St:
227  match s:
228    case SNil{}:
229      SFail{}
230    case SCon{Chr{+c}, t}:
231      str.c(U32.is_eq(c, 34), U32.is_lt(c, 32), U32.is_eq(c, 92), c, t, acc, key, stack)

Uses (9)

Used by (1)

bend-net-json@0.3.0.0/json:step