def lex_simple_before_punctuation

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

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

895def lex_simple_before_punctuation(+simple: SimpleValue,
896                                  +punctuation: Char,
897                                  +suffix: String,
898                                  +acc: List<&2, J.Lexeme>,
899                                  action: {J.lex_seed_action(SCon{punctuation, suffix}, J.Outside{}) == J.LexPunctuation{punctuation} : J.LexAction}) -> {J.lex_scan(J.render(simple_value(simple), False{}, SNil{}) ++ (SCon{punctuation, SNil{}} ++ suffix), J.Outside{}, SNil{}, acc) == J.lex_scan(suffix, J.Outside{}, SNil{}, J.Punctuation{punctuation} <> List.append(&2, J.Lexeme, List.reverse(&2, J.Lexeme, J.source(simple_value(simple), False{}, Nil{})), acc)) : List<&2, J.Lexeme>}:
900    match simple:
901        case SimpleAtom{atom}: lex_atomic_reverse_before_punctuation(atom, punctuation, suffix, acc, action)
902        case SimpleEmptyArray{}: lex_empty_array_reverse_before_punctuation(punctuation, suffix, acc, action)
903        case SimpleEmptyObject{}: lex_empty_object_reverse_before_punctuation(punctuation, suffix, acc, action)