def lex_array_singleton_before_punctuation

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

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

1079def lex_array_singleton_before_punctuation(+head: SimpleValue,
1080                                           +punctuation: Char,
1081                                           +suffix: String,
1082                                           +acc: List<&2, J.Lexeme>,
1083                                           action: {J.lex_seed_action(SCon{punctuation, suffix}, J.Outside{}) == J.LexPunctuation{punctuation} : J.LexAction}) -> {J.lex_scan(J.render(J.Arr{simple_value(head) <> Nil{}}, False{}, SNil{}) ++ (SCon{punctuation, SNil{}} ++ suffix), J.Outside{}, SNil{}, acc) == J.lex_scan(suffix, J.Outside{}, SNil{}, J.Punctuation{punctuation} <> J.Punctuation{']'} <> List.append(&2, J.Lexeme, reverse_source_task(simple_value(head), RenderWhole{}), J.Punctuation{'['} <> acc)) : List<&2, J.Lexeme>}:
1084    lex_array_singleton_value_before_punctuation(simple_value(head), punctuation, suffix, acc, action,
1085        lex_simple_task_before_punctuation(head, RenderWhole{}, ']', SCon{punctuation, SNil{}} ++ suffix,
1086            J.Punctuation{'['} <> acc, {==}))