JSONSourceProof.render_after_separator_append: 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 681-712 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=681&end_line=712

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_StringProof.bend as S

def render_after_separator_append(+value: J.Value,
                                  +prefix: String,
                                  +suffix: String) -> {render_after_separator(value, prefix) ++ suffix == render_after_separator(value, prefix ++ suffix) : String}:
    match value:
        case J.Arr{Nil{}}: S.append_assoc("]", prefix, suffix)
        case J.Arr{head <> tail}:
            nested_render_append(head, J.Arr{tail}, True{}, prefix, suffix,
                render_append(head, False{}, J.render(J.Arr{tail}, True{}, prefix), suffix),
                render_append(J.Arr{tail}, True{}, prefix, suffix))
        case J.Obj{Nil{}}: S.append_assoc("}", prefix, suffix)
        case J.Obj{(key, field_value) <> tail}:
            Equal.trans(String,
                render_after_separator(J.Obj{(key, field_value) <> tail}, prefix) ++ suffix,
                J.render_object_field(SNil{}, key,
                    J.render(field_value, False{}, J.render(J.Obj{tail}, True{}, prefix)) ++ suffix),
                render_after_separator(J.Obj{(key, field_value) <> tail}, prefix ++ suffix),
                render_object_field_append(SNil{}, key,
                    J.render(field_value, False{}, J.render(J.Obj{tail}, True{}, prefix)), suffix),
                Equal.cong(String, String, text => J.render_object_field(SNil{}, key, text),
                    J.render(field_value, False{}, J.render(J.Obj{tail}, True{}, prefix)) ++ suffix,
                    J.render(field_value, False{}, J.render(J.Obj{tail}, True{}, prefix ++ suffix)),
                    nested_render_append(field_value, J.Obj{tail}, True{}, prefix, suffix,
                        render_append(field_value, False{}, J.render(J.Obj{tail}, True{}, prefix), suffix),
                        render_append(J.Obj{tail}, True{}, prefix, suffix))))
        case J.Null{}: render_append(J.Null{}, False{}, prefix, suffix)
        case J.Bool{truth}:
            match truth:
                case True{}: render_append(J.Bool{True{}}, False{}, prefix, suffix)
                case False{}: render_append(J.Bool{False{}}, False{}, prefix, suffix)
        case J.Number{lexeme, certificate}:
            render_append(J.Number{lexeme, certificate}, False{}, prefix, suffix)
        case J.Str{text}: render_append(J.Str{text}, False{}, prefix, suffix)

Uses (15):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Equal.cong
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Equal.trans
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  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=Value
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=render
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=render_object_field
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend&name=nested_render_append
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend&name=render_after_separator
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend&name=render_append
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend&name=render_object_field_append
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_StringProof.bend&name=append_assoc