def source_members_decompose

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

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

753def source_members_decompose(+value: J.Value,
754                             +suffix: List<&2, J.Lexeme>) -> {J.source(value, True{}, suffix) == List.append(&2, J.Lexeme, source_separator(value), source_after_separator(value, suffix)) : List<&2, J.Lexeme>}:
755    match value:
756        case J.Null{}: {==}
757        case J.Bool{truth}:
758            match truth:
759                case True{}: {==}
760                case False{}: {==}
761        case J.Number{lexeme, certificate}: {==}
762        case J.Str{text}: {==}
763        case J.Arr{Nil{}}: {==}
764        case J.Arr{head <> tail}: {==}
765        case J.Obj{Nil{}}: {==}
766        case J.Obj{(key, field_value) <> tail}: {==}