def source_after_separator

qasim-bend-kit@0.1.0.2 · proof/JSON_SourceProof.bend:256

import Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as J

256def source_after_separator(value: J.Value, suffix: List<&2, J.Lexeme>) -> List<&2, J.Lexeme>:
257    match value:
258        case J.Arr{Nil{}}: J.Punctuation{']'} <> suffix
259        case J.Arr{head <> tail}: J.source(head, False{}, J.source(J.Arr{tail}, True{}, suffix))
260        case J.Obj{Nil{}}: J.Punctuation{'}'} <> suffix
261        case J.Obj{(key, field_value) <> tail}:
262            J.source_text("\"" ++ J.escape_string(key) ++ "\"", J.Punctuation{':'} <> J.source(field_value, False{}, J.source(J.Obj{tail}, True{}, suffix)))
263        case _: J.source(value, False{}, suffix)