def source_object_key_prefix

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

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

1408def source_object_key_prefix(+delimiter: Char,
1409                             +key: String,
1410                             +suffix: List<&2, J.Lexeme>,
1411                             -tail: List<J.Token>) -> {token_source(J.Punctuation{delimiter} <> J.source_text("\"" ++ J.escape_string(key) ++ "\"", suffix), tail) == J.Delimiter{delimiter} <> token_string(key) <> token_source(suffix, tail) : List<J.Token>}:
1412    Equal.trans(List<J.Token>,
1413        token_source(J.Punctuation{delimiter} <> J.source_text("\"" ++ J.escape_string(key) ++ "\"", suffix), tail),
1414        J.Delimiter{delimiter} <> token_source(J.source_text("\"" ++ J.escape_string(key) ++ "\"", suffix), tail),
1415        J.Delimiter{delimiter} <> token_string(key) <> token_source(suffix, tail),
1416        {==},
1417        Equal.cong(List<J.Token>, List<J.Token>, xs => J.Delimiter{delimiter} <> xs,
1418            token_source(J.source_text("\"" ++ J.escape_string(key) ++ "\"", suffix), tail),
1419            token_string(key) <> token_source(suffix, tail), source_token_string(key, suffix, tail)))