def atomic_task_render

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

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

923def atomic_task_render(atom: AtomicValue,
924                       mode: RenderMode) -> {render_task(atomic_value(atom), mode, SNil{}) == J.render(atomic_value(atom), False{}, SNil{}) : String}:
925    match atom mode:
926        case AtomicNull{} RenderWhole{}: {==}
927        case AtomicTrue{} RenderWhole{}: {==}
928        case AtomicFalse{} RenderWhole{}: {==}
929        case AtomicNumber{text, certificate} RenderWhole{}: {==}
930        case AtomicString{text} RenderWhole{}: {==}
931        case AtomicNull{} RenderMembers{}: {==}
932        case AtomicTrue{} RenderMembers{}: {==}
933        case AtomicFalse{} RenderMembers{}: {==}
934        case AtomicNumber{text, certificate} RenderMembers{}: {==}
935        case AtomicString{text} RenderMembers{}: {==}
936        case AtomicNull{} RenderAfterSeparator{}: {==}
937        case AtomicTrue{} RenderAfterSeparator{}: {==}
938        case AtomicFalse{} RenderAfterSeparator{}: {==}
939        case AtomicNumber{text, certificate} RenderAfterSeparator{}: {==}
940        case AtomicString{text} RenderAfterSeparator{}: {==}