def atomic_task_source

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

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

942def atomic_task_source(atom: AtomicValue,
943                       mode: RenderMode) -> {reverse_source_task(atomic_value(atom), mode) == reverse_source_task(atomic_value(atom), RenderWhole{}) : List<&2, J.Lexeme>}:
944    match atom mode:
945        case AtomicNull{} RenderWhole{}: {==}
946        case AtomicTrue{} RenderWhole{}: {==}
947        case AtomicFalse{} RenderWhole{}: {==}
948        case AtomicNumber{text, certificate} RenderWhole{}: {==}
949        case AtomicString{text} RenderWhole{}: {==}
950        case AtomicNull{} RenderMembers{}: {==}
951        case AtomicTrue{} RenderMembers{}: {==}
952        case AtomicFalse{} RenderMembers{}: {==}
953        case AtomicNumber{text, certificate} RenderMembers{}: {==}
954        case AtomicString{text} RenderMembers{}: {==}
955        case AtomicNull{} RenderAfterSeparator{}: {==}
956        case AtomicTrue{} RenderAfterSeparator{}: {==}
957        case AtomicFalse{} RenderAfterSeparator{}: {==}
958        case AtomicNumber{text, certificate} RenderAfterSeparator{}: {==}
959        case AtomicString{text} RenderAfterSeparator{}: {==}