def lex_simple_array_whole

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

import Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as J
import qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof.bend as W
import qasim-bend-kit@0.1.0.2/proof/JSON_ListProof.bend as LP

1349def lex_simple_array_whole(+values: List<&2, SimpleValue>) -> {J.lex_scan(J.render(J.Arr{simple_values(values)}, False{}, SNil{}), J.Outside{}, SNil{}, Nil{}) == J.source(J.Arr{simple_values(values)}, False{}, Nil{}) : List<&2, J.Lexeme>}:
1350    Equal.trans(List<&2, J.Lexeme>,
1351        J.lex_scan(J.render(J.Arr{simple_values(values)}, False{}, SNil{}), J.Outside{}, SNil{}, Nil{}),
1352        J.lex_scan(render_after_separator(J.Arr{simple_values(values)}, SNil{}), J.Outside{}, SNil{}, J.Punctuation{'['} <> Nil{}),
1353        J.source(J.Arr{simple_values(values)}, False{}, Nil{}),
1354        Equal.trans(List<&2, J.Lexeme>,
1355            J.lex_scan(J.render(J.Arr{simple_values(values)}, False{}, SNil{}), J.Outside{}, SNil{}, Nil{}),
1356            J.lex_scan("[" ++ render_after_separator(J.Arr{simple_values(values)}, SNil{}), J.Outside{}, SNil{}, Nil{}),
1357            J.lex_scan(render_after_separator(J.Arr{simple_values(values)}, SNil{}), J.Outside{}, SNil{}, J.Punctuation{'['} <> Nil{}),
1358            Equal.cong(String, List<&2, J.Lexeme>, text => J.lex_scan(text, J.Outside{}, SNil{}, Nil{}),
1359                J.render(J.Arr{simple_values(values)}, False{}, SNil{}),
1360                "[" ++ render_after_separator(J.Arr{simple_values(values)}, SNil{}),
1361                render_array_whole_after_separator(simple_values(values), SNil{})),
1362            W.scan_punctuation_char('[', render_after_separator(J.Arr{simple_values(values)}, SNil{}), SNil{}, Nil{}, {==})),
1363        Equal.trans(List<&2, J.Lexeme>,
1364            J.lex_scan(render_after_separator(J.Arr{simple_values(values)}, SNil{}), J.Outside{}, SNil{}, J.Punctuation{'['} <> Nil{}),
1365            J.lex_scan(SNil{}, J.Outside{}, SNil{}, List.append(&2, J.Lexeme,
1366                reverse_source_task(J.Arr{simple_values(values)}, RenderAfterSeparator{}), J.Punctuation{'['} <> Nil{})),
1367            J.source(J.Arr{simple_values(values)}, False{}, Nil{}),
1368            lex_simple_array_after_separator_end(values, J.Punctuation{'['} <> Nil{}),
1369            Equal.trans(List<&2, J.Lexeme>,
1370                J.lex_scan(SNil{}, J.Outside{}, SNil{}, List.append(&2, J.Lexeme,
1371                    reverse_source_task(J.Arr{simple_values(values)}, RenderAfterSeparator{}), J.Punctuation{'['} <> Nil{})),
1372                J.lex_scan(SNil{}, J.Outside{}, SNil{}, reverse_source_task(J.Arr{simple_values(values)}, RenderWhole{})),
1373                J.source(J.Arr{simple_values(values)}, False{}, Nil{}),
1374                Equal.cong(List<&2, J.Lexeme>, List<&2, J.Lexeme>, items => J.lex_scan(SNil{}, J.Outside{}, SNil{}, items),
1375                    List.append(&2, J.Lexeme, reverse_source_task(J.Arr{simple_values(values)}, RenderAfterSeparator{}), J.Punctuation{'['} <> Nil{}),
1376                    reverse_source_task(J.Arr{simple_values(values)}, RenderWhole{}),
1377                    Equal.sym(List<&2, J.Lexeme>, reverse_source_task(J.Arr{simple_values(values)}, RenderWhole{}),
1378                        List.append(&2, J.Lexeme, reverse_source_task(J.Arr{simple_values(values)}, RenderAfterSeparator{}), J.Punctuation{'['} <> Nil{}),
1379                        reverse_source_array_after_separator_whole_list(simple_values(values)))),
1380                LP.reverse_twice(J.Lexeme, J.source(J.Arr{simple_values(values)}, False{}, Nil{})))))