JSONSourceProof.lex_simple_task_before_punctuation: def of qasim-bend-kit@0.1.0.2
Import: import qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend as JSONSourceProof
Lines 994-1018 of qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend: https://jend.leeeet.dev/read.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend&start_line=994&end_line=1018

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

def lex_simple_task_before_punctuation(+simple: SimpleValue,
                                       +mode: RenderMode,
                                       +punctuation: Char,
                                       +suffix: String,
                                       +acc: List<&2, J.Lexeme>,
                                       action: {J.lex_seed_action(SCon{punctuation, suffix}, J.Outside{}) == J.LexPunctuation{punctuation} : J.LexAction}) -> {J.lex_scan(render_task(simple_value(simple), mode, SNil{}) ++ (SCon{punctuation, SNil{}} ++ suffix), J.Outside{}, SNil{}, acc) == J.lex_scan(suffix, J.Outside{}, SNil{}, J.Punctuation{punctuation} <> List.append(&2, J.Lexeme, reverse_source_task(simple_value(simple), mode), acc)) : List<&2, J.Lexeme>}:
    match simple mode:
        case SimpleAtom{atom} RenderWhole{}:
            lex_atomic_task_before_punctuation(atom, RenderWhole{}, punctuation, suffix, acc, action)
        case SimpleAtom{atom} RenderMembers{}:
            lex_atomic_task_before_punctuation(atom, RenderMembers{}, punctuation, suffix, acc, action)
        case SimpleAtom{atom} RenderAfterSeparator{}:
            lex_atomic_task_before_punctuation(atom, RenderAfterSeparator{}, punctuation, suffix, acc, action)
        case SimpleEmptyArray{} RenderWhole{}:
            lex_empty_array_reverse_before_punctuation(punctuation, suffix, acc, action)
        case SimpleEmptyArray{} RenderMembers{}:
            lex_close_before_punctuation(']', punctuation, suffix, acc, {==}, action)
        case SimpleEmptyArray{} RenderAfterSeparator{}:
            lex_close_before_punctuation(']', punctuation, suffix, acc, {==}, action)
        case SimpleEmptyObject{} RenderWhole{}:
            lex_empty_object_reverse_before_punctuation(punctuation, suffix, acc, action)
        case SimpleEmptyObject{} RenderMembers{}:
            lex_close_before_punctuation('}', punctuation, suffix, acc, {==}, action)
        case SimpleEmptyObject{} RenderAfterSeparator{}:
            lex_close_before_punctuation('}', punctuation, suffix, acc, {==}, action)

Uses (19):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=LexAction
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=LexMode
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=Lexeme
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=lex_scan
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=lex_seed_action
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend&name=RenderMode
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend&name=SimpleValue
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend&name=lex_atomic_task_before_punctuation
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend&name=lex_close_before_punctuation
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend&name=lex_empty_array_reverse_before_punctuation
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend&name=lex_empty_object_reverse_before_punctuation
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend&name=render_task
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend&name=reverse_source_task
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend&name=simple_value